Shai Halevi
Izraelsko-amerykański kryptograf, który sprawił, że w pełni homomorficzne szyfrowanie faktycznie działa, i pokazał, gdzie załamuje się model losowej wyroczni.
W 1998 roku Halevi wraz z Ranem Canettim i Odedem Goldreichem wykazał, że istnieją schematy bezpieczne w modelu losowej wyroczni, a niebezpieczne z każdą rzeczywistą funkcją skrótu. Kontrprzykład jest sztuczny, ale od tamtej pory każdy dowód w tym modelu czyta się z pewną gwiazdką.
W 2011 roku w IBM Research wraz z Craigiem Gentrym stworzył pierwszą działającą implementację schematu w pełni homomorficznego Gentry'ego. Pojedyncza operacja trwała minuty, a klucze liczyły gigabajty, ale działało. Dwa lata później powstała HElib, napisana z Victorem Shoupem, która stała się wzorcową biblioteką praktycznego szyfrowania homomorficznego. Halevi zaprojektował też z Phillipem Rogawayem tryby szerokoblokowe CMC i EME do szyfrowania dysków.