Hugo Senet

According to our database, Hugo Senet authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

PhD thesis, 2023

Formal Verification of a Post-quantum Signal Protocol with Tamarin.

Hugo Beguinet, Céline Chevalier, Thomas Ricosset, Hugo Senet

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023

Efficient Implementation of a Post-Quantum Anonymous Credential Protocol.

Olivier Blazy, Céline Chevalier, Guillaume Renaut, Thomas Ricosset, Éric Sageloli, Hugo Senet

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2021

A Protocol for Secure Verification of Watermarks Embedded into Machine Learning Models.

Katarzyna Kapusta, Vincent Thouvenot, Olivier Bettan, Hugo Beguinet, Hugo Senet

Proceedings of the IH&MMSec '21: ACM Workshop on Information Hiding and Multimedia Security, 2021