Publications

(2024). Highly-Effective Backdoors for Hash Functions and Beyond. Cryptology ePrint Archive.

PDF Cite

(2024). CCA Secure Updatable Encryption from Non-Mappable Group Actions. PQCrypto 2024.

PDF Cite

(2024). Key Exchange with Tight (Full) Forward Secrecy via Key Confirmation. EUROCRYPT 2024.

PDF Cite

(2023). No more Reviewer #2: Subverting Automatic Paper-Reviewer Assignment using Adversarial Learning. USENIX Security 2023.

PDF Cite Code

(2023). Generic Models for Group Actions. PKC 2023.

PDF Cite

(2023). Multi-User CDH Problems and the Concrete Security of NAXOS and HMQV. CT-RSA 2023.

PDF Cite

(2022). Verifiable and Provably Secure Machine Unlearning. Computing Research Repository (CoRR).

PDF Cite

(2022). Strongly Anonymous Ratcheted Key Exchange. ASIACRYPT 2022.

PDF Cite

(2022). Group Action Key Encapsulation and Non-Interactive Key Exchange in the QROM. ASIACRYPT 2022.

PDF Cite

(2022). Password-Authenticated Key Exchange from Group Actions. CRYPTO 2022.

PDF Cite Video Slides

(2021). Authenticated Key Exchange and Signatures with Tight Security in the Standard Model. CRYPTO 2021.

PDF Cite Video Slides

(2021). Tightly-Secure Authenticated Key Exchange, Revisited. EUROCRYPT 2021.

PDF Cite Video Slides

(2021). Analysing the HPKE Standard. EUROCRYPT 2021.

PDF Cite CryptoVerif