チャールズ・ラコフ（Charles Rackoff）

1985年、ゴールドヴァッサー、ミカリ、ラコフの三人は「The Knowledge Complexity of Interactive Proof Systems」を発表し、対話型証明とゼロ知識の両方を定義した。この論文は1993年のゲーデル賞を受けた。のちにゴールドヴァッサーとミカリはチューリング賞も受賞したが、ラコフは「ほか、ラコフ」と引かれがちである。

ほかの二つの成果も、出典を知らない暗号研究者が毎日のように使っている。1988年にリュービーとラコフは、擬似ランダム関数から作ったファイステル構造は3ラウンドで擬似ランダム置換、4ラウンドで強擬似ランダム置換になることを示した。1991年にはダニエル・サイモンとともに適応的選択暗号文攻撃を定義した。現在IND-CCA2と呼ばれ、現代のあらゆる暗号方式が越えるべき水準である。