Publications

(2022). FABEO: Fast Attribute-Based Encryption with Optimal Security. ACM CCS 2022 (to appear).

Implementation

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

PDF

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

(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