Бенни Пинкас
Израильский криптограф, сделавший безопасные многосторонние вычисления чем-то, что можно реально запустить, и показавший, насколько плохо генерировали случайные числа и Windows, и Linux.
Запутанные схемы Яо из 1980-х доказали в принципе, что двое могут вычислить функцию от своих секретных входов, не раскрывая их друг другу. Пинкас в 2004 году участвовал в создании Fairplay — одной из первых систем, компилирующих такие протоколы в работающий код, — а вместе с Йехудой Линделлом дал первое полное доказательство безопасности конструкции Яо. Его работы по private set intersection — сравнению двух списков с раскрытием только пересечения — лежат в основе современного поиска контактов и проверки утёкших паролей.
Более приземлённым был анализ генераторов случайных чисел в операционных системах: Linux в 2006 году, Windows 2000 — годом позже. В случае Windows прежние ключи можно было вычислить по более позднему состоянию, и Microsoft признала, что в XP тот же изъян.