Proving the TLS Handshake Secure (As It Is)

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Proving the TLS Handshake Secure (As It Is)'. Together they form a unique fingerprint.

Engineering & Materials Science