IT用語集 › セキュリティ › イリット・ディヌール

イリット・ディヌール

セキュリティ Svenska → 更新: 2026-10-25
詳細情報
所属
ワイツマン科学研究所
代表的な業績
再構成攻撃、PCP定理の組合せ論的証明
受賞
ゲーデル賞(2019年)

イスラエルの理論計算機科学者。2003年の再構成攻撃によって、差分プライバシーを必須のものにした。

コビ・ニッシムとともに、ディヌールは2003年に、統計的なクエリに多数答えるデータベースがノイズを足さなさすぎると、ほぼすべてを漏らすことを示した。ランダムな部分集合に対する合計が十分あれば、攻撃者は名前が消されていても個々の行を解ける。この結果は必要なノイズ量の下限を与え、差分プライバシーの出発点になった。

計算量理論では、2006年にPCP定理の短い組合せ論的証明を与えたことで最もよく知られる。それまでの代数的な証明は非常に難解だった。この功績で2019年にゲーデル賞を受賞した。ディヌールが露わにした問題を解いたドワークらが同賞を受けた2年後のことである。

← 用語集に戻る