Shafi Goldwasser, kriptografinin matematiksel temelleri ve hesaplama karmaşıklığı üzerine çalışan bilgisayar bilimcisidir. Carnegie Mellon Üniversitesinde 1979'da uygulamalı matematik lisansını, Kaliforniya Üniversitesi Berkeley yerleşkesinde bilgisayar bilimleri doktorasını 1984'te tamamladı. Massachusetts Teknoloji Enstitüsünde çalıştı; Berkeley'deki Simons Hesaplama Kuramı Enstitüsünün yöneticiliğini de üstlendi. Silvio Micali ile kriptografinin kuramsal temellerine katkılarından dolayı 2012 Turing Ödülü'nü paylaştı. [1]
OLASILIKSAL ŞİFRELEME VE KANITLAR
Goldwasser ile Micali'nin ortak araştırması, Berkeley'de Manuel Blum'un danışmanlığında lisansüstü öğrenciyken başladı. Olasılıksal şifreleme çalışmalarında, aynı mesajın farklı rastlantısal seçimlerle farklı şifreli metinlere dönüştürülebildiği güvenlik modelleri geliştirdiler. Charles Rackoff ile hazırladıkları 1985 tarihli çalışma ise etkileşimli kanıtlarda bilgi karmaşıklığını ele aldı. Sıfır bilgi kanıtları, bir iddianın doğruluğunun, doğruluğun kendisi dışında ek bilgi açığa çıkarmadan gösterilmesini amaçlar. Goldwasser'in araştırmaları bu kavramları, bilginin hangi koşullarda güvenle paylaşılabileceğinin matematiksel olarak incelenmesiyle birleştirir. [2]