Article

Dowling, Benjamin ; Fischlin, Marc ; Günther, Felix ; Stebila, Douglas (2024)
A Cryptographic Analysis of the TLS 1.3 Handshake Protocol.
In: Journal of Cryptology, 2021, 34 (4)
doi: 10.26083/tuprints-00023430
Article, Secondary publication, Publisher's Version

Ph.D. Thesis

Günther, Felix (2018)
Modeling Advanced Security Aspects of Key Exchange and Secure Channel Protocols.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication