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

Search results