Protocoles cryptographiques post-quantiques de préservation de l'anonymat et du secret des communications. (Anonymity and Secrecy Preserving Post-Quantum Cryptographic Protocols).
PhD thesis, 2023
Formal Verification of a Post-quantum Signal Protocol with Tamarin.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023
Efficient Implementation of a Post-Quantum Anonymous Credential Protocol.
Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023
A Protocol for Secure Verification of Watermarks Embedded into Machine Learning Models.
Proceedings of the IH&MMSec '21: ACM Workshop on Information Hiding and Multimedia Security, 2021