A Protocol for Secure Verification of Watermarks Embedded into Machine Learning Models. - Katarzyna Kapusta; Vincent Thouvenot; Olivier Bettan; Hugo Beguinet; Hugo Senet (IH&MMSec, 2021)

Formal Verification of a Post-quantum Signal Protocol with Tamarin. - Hugo Beguinet; Céline Chevalier; Thomas Ricosset; Hugo Senet (VECoS, 2023)

GeT a CAKE: Generic Transformations from Key Encaspulation Mechanisms to Password Authenticated Key Exchanges. - Hugo Beguinet; Céline Chevalier; David Pointcheval; Thomas Ricosset; Mélissa Rossi (IACR Cryptol. ePrint Arch., 2023)

Polytopes in the Fiat-Shamir with Aborts Paradigm. - Henry Bambury; Hugo Beguinet; Thomas Ricosset; Éric Sageloli (IACR Cryptol. ePrint Arch., 2024)