Шай Халеви
Израильско-американский криптограф, который заставил полностью гомоморфное шифрование работать и показал, где ломается модель случайного оракула.
В 1998 году вместе с Раном Канетти и Одедом Голдрейхом Халеви показал, что некоторые схемы стойки в модели случайного оракула, но нестойки с любой реальной хеш-функцией. Контрпример искусственный, однако с тех пор каждое доказательство в этой модели читают с некоторой оговоркой.
В IBM Research в 2011 году он вместе с Крейгом Джентри создал первую работающую реализацию полностью гомоморфной схемы Джентри. Одна операция занимала минуты, а ключи весили гигабайты, но это работало. Через два года появилась HElib, написанная с Виктором Шупом, ставшая эталоном практического гомоморфного шифрования. Халеви также разработал с Филлипом Рогэуэем режимы широкого блока CMC и EME для шифрования дисков.