マイケル・ルビー
詳細情報
- 所属
- ペンシルベニア大学、Notable Software
- 主な業績
- 有権者が検証できる紙の投票記録(マーキュリ方式)
ファイステル暗号がなぜ機能するかを証明し、その後まったく別種の符号で財を成した理論家。
1988年、チャールズ・ラコフとともにルビーは、擬似ランダムなラウンド関数を持つファイステルネットワークは3ラウンドで擬似ランダム置換になり、4ラウンドで選択暗号文攻撃にも耐えることを示した。それまで15年間、静かな信頼だけで走ってきたDES設計に対する、初の形式的な安全性の論証だった。ルビーはHILL構成の4人の名前の一人でもある。
暗号の外では、噴水符号を発明した。2002年に発表されたLT符号は、受信者がどのパケットでも十分な数さえ集めればファイルを復元できる。この考えを売るため1998年にDigital Fountainを設立し、後継のRaptorはRFC 6330などで標準化された。モバイルTVや放送ストリーミングは今もこれに頼っているが、視聴者は誰一人それに気づかない。