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)

Efficient Implementation of a Post-Quantum Anonymous Credential Protocol. - Olivier Blazy; Céline Chevalier; Guillaume Renaut; Thomas Ricosset; Éric Sageloli; Hugo Senet (ARES, 2023)

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

Protocoles cryptographiques post-quantiques de préservation de l'anonymat et du secret des communications. (Anonymity and Secrecy Preserving Post-Quantum Cryptographic Protocols). - Hugo Senet (2023)