Shai Halevi
Israelisch-amerikanischer Kryptograf, der vollhomomorphe Verschlüsselung tatsächlich zum Laufen brachte und zeigte, wo das Random-Oracle-Modell bricht.
1998 zeigte Halevi gemeinsam mit Ran Canetti und Oded Goldreich, dass manche Verfahren im Random-Oracle-Modell sicher, mit jeder realen Hashfunktion aber unsicher sind. Das Gegenbeispiel ist konstruiert, doch seither liest man jeden Beweis in diesem Modell mit einem gewissen Sternchen.
2011 lieferte er bei IBM Research mit Craig Gentry die erste lauffähige Implementierung von Gentrys vollhomomorphem Verfahren. Eine einzelne Operation dauerte Minuten, die Schlüssel umfassten Gigabytes – aber es funktionierte. Zwei Jahre später folgte HElib, gemeinsam mit Victor Shoup geschrieben, die zur Referenz für praktische homomorphe Verschlüsselung wurde. Mit Phillip Rogaway entwarf Halevi außerdem die Breitblock-Modi CMC und EME für die Festplattenverschlüsselung.