Shai Halevi
Criptógrafo israelo-americano que fez a criptografia totalmente homomórfica realmente funcionar e mostrou onde o modelo do oráculo aleatório falha.
Em 1998, com Ran Canetti e Oded Goldreich, Halevi mostrou que alguns esquemas são seguros no modelo do oráculo aleatório, mas inseguros com qualquer função hash real. O contraexemplo é artificial, mas desde então fez todo mundo ler as provas nesse modelo com um certo asterisco.
Na IBM Research, em 2011, ele e Craig Gentry produziram a primeira implementação funcional do esquema totalmente homomórfico de Gentry. Uma única operação levava minutos e as chaves chegavam a gigabytes, mas funcionava. Dois anos depois veio o HElib, escrito com Victor Shoup, que virou a referência em criptografia homomórfica prática. Halevi também projetou, com Phillip Rogaway, os modos de bloco largo CMC e EME para criptografia de disco.