Cryptographic Protocol Verification Portal

• AKE Protocol List
• About us
• Update
• Contact

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日

暗号プロトコル評価ポータルサイトを開設しました。