Anonymous Authenticated Communication
Security and Cryptography for Networks – SCN 2022, LNCS, Springer, vol. 13409, pp. 289–312, Sep 2022.
Giving an Adversary Guarantees (Or: How to Model Designated Verifier Signatures in a Composable Framework)
Advances in Cryptology—ASIACRYPT 2021, Lecture Notes in Computer Science, Springer International Publishing, vol. 13092, pp. 189–219, Dec 2021.
Adaptive Security of Multi-Party Protocols, Revisited
Theory of Cryptography — TCC 2021, LNCS, Springer International Publishing, vol. 13042, pp. 686–716, Nov 2021.