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)
AI 理解论文
溯源树
样例