Shai Halevi
Cryptographe israélo-américain qui a fait réellement tourner le chiffrement totalement homomorphe et montré où le modèle de l'oracle aléatoire se brise.
En 1998, avec Ran Canetti et Oded Goldreich, Halevi a montré que certains schémas sont sûrs dans le modèle de l'oracle aléatoire mais peuvent être attaqués avec n'importe quelle vraie fonction de hachage. Le contre-exemple est artificiel, mais il a depuis valu à chaque preuve dans ce modèle un astérisque mental.
Chez IBM Research en 2011, lui et Craig Gentry ont produit la première implémentation fonctionnelle du schéma totalement homomorphe de Gentry. Une seule opération prenait des minutes et les clés pesaient des gigaoctets, mais cela marchait. Deux ans plus tard est venue HElib, écrite avec Victor Shoup, devenue la référence du chiffrement homomorphe pratique. Halevi a aussi conçu avec Phillip Rogaway les modes à grand bloc CMC et EME pour le chiffrement de disque.