Publications

(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

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

PDF Cite Video Slides

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

PDF Cite CryptoVerif

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

PDF Cite Video Slides