Shafrira Goldwasser (1958-) es una matemática y profesora israelí-estadounidense que investigó sobre ciberseguridad, criptografía, teoría computacional de números, y teoría de la complejidad computacional.

Comenzó su educación en Israel, donde mostró un gran interés en la rama científica con las asignaturas de matemáticas, física y química. Al terminar secundaria regresó a Estados Unidos para realizar sus estudios universitarios en la Universidad Carnegie Mellon, en Pittsburgh, Pensilvania.

En 1979, se graduó en matemáticas y ciencias en la Universidad Carnegie Mellon.

En 1981, terminó un máster en Ciencias de la Computación en la Universidad de California, en Berkeley.

En 1984 realizó un doctorado en la misma universidad con una tesis sobre criptografía probabilística, dirigida por el profesor Manuel Blum, también premio Turing.

En 1983, empezó su carrera como investigadora en el Instituto de Tecnología de Massachusetts (MIT).

Desde 1997, empezó como profesora de universidad y revolucionó el mundo de la seguridad con la generación de números al azar, mediante la producción exponencial de un gran conjunto de bits pseudoaleatorios. Este avance forma parte de sistemas que se utilizan hoy en día, como el cifrado AES o el firmado criptográfico ECDSA.

En la misma línea, desarrolló un estudio que muestra cómo transformar controladamente un generador de números pseudoaleatorios con un generador de funciones, también pseudoaleatorio. Estas ideas son aplicadas en el campo de la teoría de aprendizaje, como la ejemplificación de conceptos que no se pueden aprender.

Posteriormente, desarrolló un proyecto de investigación con Silvio Micali y Charles Rackoff en el campo criptográfico que fue el origen de las pruebas interactivas y de conocimiento cero. Con este trabajo ganaron el primer Premio Gödel de la informática teórica en 1993.

A consecuencia de este trabajo, se convirtió en responsable del Grupo de Teoría de la Computación y codirectora del grupo de Criptografía del MIT. Al poco tiempo empezó como profesora en el Instituto Weizmann de Israel.

Posteriormente, retomó sus estudios matemáticos en un nuevo equipo formado por René Schoof y Joe Killian. Lograron definir una demostración en la que a partir de curvas elípticas se verificaba que un número era primo. Este avance sirvió para mejorar el sistema de generación de claves RSA.

Sentó las bases para el desarrollo criptográfico seguro. Un ejemplo, es su sistema de ofuscación de un solo tiempo, cuya criptografía cambiaba el código del programa en cada tiempo de ejecución. Por otro lado, colaboró con Adi Akavia y Vinod Vaikuntanathan, con quienes descubrió que el flujo de datos queda protegido de los ataques de canal lateral, a partir del cifrado de clave pública.

Obtuvo multitud de premios:

En 1993, fue la primera premio Gödel junto a László Babai, Silvio Micali, Shlomo Moran y Charles Rackoff por la publicación «The knowledge complexity of interactive proof systems”,

En 1996 obtuvo el premio Grace Murray Hopper, que ACM otorga a quienes realicen alguna contribución con menos de 35 años.

En 2001, volvió a recibir el premio Gödel por la publicacion «Interactive Proofs and the Hardness of Approximating Cliques», realizada junto a Sanjeev Arora, Uriel Feige, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan y Mario Szegedy.

En 2012 obtuvo un premio Turing en conjunto con Silvio Micali por “revolucionar la ciencia de la criptografía”.

Es miembro de la Academia Nacional de Ciencias de los Estados Unidos.