Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols.
Advances in Cryptology - EUROCRYPT 2015 Lecture Notes in Computer Science（2015）
关键词
Provable security,Security protocols,EasyCrypt,Key exchange,Interactive theorem proving
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要