Shai Halevi
Israëlisch-Amerikaanse cryptograaf die volledig homomorfe versleuteling daadwerkelijk liet draaien en liet zien waar het random-oraclemodel faalt.
In 1998 toonde Halevi samen met Ran Canetti en Oded Goldreich aan dat sommige schema's veilig zijn in het random-oraclemodel, maar onveilig met elke echte hashfunctie. Het tegenvoorbeeld is gekunsteld, maar sindsdien leest men elk bewijs in dat model met een zeker sterretje.
Bij IBM Research maakte hij in 2011 samen met Craig Gentry de eerste werkende implementatie van Gentry's volledig homomorfe schema. Eén bewerking duurde minuten en de sleutels telden gigabytes, maar het werkte. Twee jaar later volgde HElib, geschreven met Victor Shoup, dat de referentie voor praktische homomorfe versleuteling werd. Halevi ontwierp met Phillip Rogaway ook de brede-bloktypen CMC en EME voor schijfversleuteling.