デビッド・ポワンシュヴァル
詳細情報
- 所属
- 高等師範学校(ENS)、CNRS
- 主な業績
- フォーキング補題、RSA-OAEPの証明
攻撃者を巻き戻して二度答えさせることで、ランダムオラクル型の署名方式に本物の安全性証明を与えたフランスの暗号研究者だ。
1996年、ポワンシュヴァルとジャック・ステルンは、のちにフォーキング補題と呼ばれる手法を発表した。仮想的な偽造者を、同じ乱数列のまま、オラクルの応答だけ変えて二度実行する。両方で成功すれば、二つの署名から秘密鍵が漏れ出す。これはシュノア署名とその仲間の安全性を証明する標準的な道具になった。
2001年、ヴィクター・シュープがOAEPの従来の証明に穴があることを示すと、ポワンシュヴァル、ステルン、藤崎英一郎、岡本龍明がRSAの場合に限って証明を修復した。ミシェル・アブダラとは、パスワード認証鍵交換SPAKEの基礎も築いている。脚注の中で過ごした経歴だが、その脚注の数は非常に多い。