Shai Halevi
Criptógrafo israelí-estadounidense que hizo funcionar en la práctica el cifrado totalmente homomórfico y mostró dónde falla el modelo del oráculo aleatorio.
En 1998, con Ran Canetti y Oded Goldreich, Halevi demostró que hay esquemas seguros en el modelo del oráculo aleatorio pero inseguros con cualquier función hash real. El contraejemplo es artificial, pero desde entonces cada demostración en ese modelo se lee con un asterisco.
En IBM Research, en 2011, él y Craig Gentry lograron la primera implementación funcional del esquema totalmente homomórfico de Gentry. Una sola operación tardaba minutos y las claves ocupaban gigabytes, pero funcionaba. Dos años después llegó HElib, escrita con Victor Shoup, que se convirtió en la referencia del cifrado homomórfico práctico. Halevi también diseñó con Phillip Rogaway los modos de bloque ancho CMC y EME para el cifrado de discos.