Triple Handshake: Can cryptography, formal methods, and applied security be friends? presented at RWC 2015

by Markulf Kohlweiss, Karthik Bhargavan,

Summary : N/A