Update

2015年10月20日
和文サイトをリニューアルし、トップページに暗号プロトコル評価リスト(The AKE Protocol List)を掲載しました。
2013年9月16日
ISO/IEC 11770-2、および11770-3について、Scytherによる評価結果(追試済み)を掲載しました。この結果は、ETH ZurichのLara Schmidによる学士論文です(指導教員 Cas Cremers)。なお、評価結果は英文です。
2013年9月16日
ISO/IEC 25185で標準化プロセスにある軽量認証プロトコルである、PLAIDプロトコルの評価結果(追試済み)を掲載しました。これらの評価結果のうち、ProVerifによるものはNTT研究所、Scytherによるものは日立製作所から提供されています。なお、評価結果はいずれも英文です。
2013年9月16日
英文サイトを開設しました。
2013年7月1日
暗号プロトコル評価ポータルサイトを開設しました。
ページのトップへ戻る