Everest: Towards a Verified, Drop-in Replacement of HTTPS.
Karthikeyan Bhargavan,Barry Bond,Antoine Delignat-Lavaud,Cédric Fournet,Chris Hawblitzel,Catalin Hritcu,Samin Ishtiaq,Markulf Kohlweiss,Rustan Leino,Jay R. Lorch,Kenji Maillard,Jianyang Pan,Bryan Parno,Jonathan Protzenko,Tahina Ramananandro,Ashay Rane,Aseem Rastogi,Nikhil Swamy,Laure Thompson, Peng Wang,Santiago Zanella Béguelin,Jean Karim Zinzindohoue SNAPL（2017）
关键词
Transport Layer Security (TLS),Trusted Execution Environment
AI 理解论文
溯源树
样例
