Publications

(2024). Integrating Causality in Messaging Channels. In EUROCRYPT 2024 (to appear).

PDF

(2021). Provable Security Analysis of FIDO2. In CRYPTO 2021.

PDF Cite Video

(2021). Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) versus QUIC. In Journal of Cryptology 2021.

PDF Cite

(2019). Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) vs. QUIC. In ESORICS 2019.

PDF Cite

(2018). Minimizing the Two-Round Even–Mansour Cipher. In Journal of Cryptology 2018.

PDF Cite

(2017). Human Computing for Handling Strong Corruptions in Authenticated Key Exchange. In CSF 2017.

PDF Cite

(2014). Minimizing the Two-Round Even–Mansour Cipher. In CRYPTO 2014.

PDF Cite

(2014). Tight Security Bounds for Key-Alternating Ciphers. In EUROCRYPT 2014.

PDF Cite