International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Santiago Zanella Béguelin

Publications

Year
Venue
Title
2014
CRYPTO
Proving the TLS Handshake Secure (As It Is) 📺
Karthikeyan Bhargavan Cédric Fournet Markulf Kohlweiss Alfredo Pironti Pierre-Yves Strub Santiago Zanella Béguelin

Coauthors

Santiago Zanella Béguelin (1)
Karthikeyan Bhargavan (1)
Cédric Fournet (1)
Markulf Kohlweiss (1)
Alfredo Pironti (1)
Pierre-Yves Strub (1)