■

Lyubashevskyさんが卒業ということで彼のサイトに博論が置いてあった.
認証方式のところが変わっている. PKC 2008版からパラメータを変更して, 効率を追求する方式にしたようだ. 具体的には今までチャレンジが0,1だったのを{0,1}^nにしてある. それでも何とかWIと完全性を満たすように確率の調整は出来るらしい.