Publications

Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3

AuthorFischlin, Marc; Günther, Felix; Schmidt, Benedikt; Warinschi, Bogdan
Date2016
TypeConference Proceedings
In37th IEEE Symposium on Security and Privacy (S&P 2016)
PublisherIEEE
PartnTUD-CS-2016-0041
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/101655