ベニー・ピンカス(Benny Pinkas)
秘密計算を「実際に動かせるもの」にした功労者で、WindowsとLinuxの乱数生成がいかにひどいかも示したイスラエルの暗号研究者。
1980年代のヤオのガーブル回路は、二者が互いの秘密の入力を明かさずに、その関数を計算できることを原理的に証明した。ピンカスは2004年、そうしたプロトコルを実行可能なコードにコンパイルする最初期のシステムの一つFairplayを共同で構築し、イェフダ・リンデルとともにヤオの構成の初の完全な安全性証明を与えた。秘匿集合積(二つのリストを比べ、重なりだけを知る手法)の研究は、現在の連絡先検索や漏洩パスワードのチェックを支えている。
もっと地に足のついた仕事が、OSの乱数生成器の解析だ。2006年にLinux、その翌年にWindows 2000を扱った。Windowsでは、後の状態から以前の鍵を再計算でき、MicrosoftはXPにも同じ欠陥があることを認めた。