Background and activities
Current Research Area: Modelling and Analysis of Real-World Cryptographic Authentication and Key-Exchange Protocols
Key words: Key-Exchange, Authentication, Secure Channels, Secure Termination, Low-Latency / 0-RTT Protocols, Forward Secret Protocols, TLS, DTLS, ISO 9798, Identity-Based Cryptography
Scientific, academic and artistic work
A selection of recent journal publications, artistic productions, books, including book and report excerpts. See all publications in the database
Part of book/report
- (2016) From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS. Topics in Cryptology - CT-RSA 2016 The Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings.
- (2014) Computationally Analyzing the ISO 9798-2.4 Authentication Protocol. Security Standardisation Research: First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings.