Shafi Goldwasser
Le dio a la criptografía su rigor demostrable — antes de ella, un cifrado era seguro hasta que alguien lo rompía; después de ella, la seguridad se pudo definir.
Científica de la computación israelí-estadounidense, profesora en el MIT y en el Instituto Weizmann. Junto con Silvio Micali introdujo en 1982 el cifrado probabilístico y la definición de seguridad semántica: un texto cifrado no debe revelar absolutamente nada del texto en claro, ni siquiera un solo bit, a ningún atacante con recursos razonables.
Con Micali y Charles Rackoff formuló en 1985 las pruebas de conocimiento cero: cómo convencer a alguien de que una afirmación es cierta sin revelar por qué lo es. Esa idea sostiene hoy desde las criptomonedas anónimas hasta la autenticación sin transmitir contraseñas. Premio Turing 2012, compartido con Micali.