Publications

(2024). Tightly-Secure Group Key Exchange with Perfect Forward Secrecy. ASIACRYPT 2024.

Cite

(2024). The Concrete Security of Two-Party Computation: Simple Definitions, and Tight Proofs for PSI and OPRFs. ASIACRYPT 2024.

PDF Cite

(2024). Count Corruptions, Not Users: Improved Tightness for Signatures, Encryption and Authenticated Key Exchange. ASIACRYPT 2024.

PDF Cite

(2024). On the Tight Security of the Double Ratchet. ACM CCS 2024.

Cite

(2024). Algorithm Substitution Attacks on Public Functions. 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