Triple Handshake: Can cryptography, formal methods, and applied security be friends?

No ratings

Presented at RWC 2015 by

Markulf Kohlweiss

Karthik Bhargavan

N/A