这是indexloc提供的服务，不要输入任何密码

International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Santiago Zanella Béguelin

Publications and invited talks

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)