Hugo Beguinet

According to our database, Hugo Beguinet authored at least 5 papers between 2021 and 2025.

Collaborative distances:

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

2025

DAKE: Bandwidth-Efficient (U)AKE from Double-KEM.

Hugo Beguinet, Céline Chevalier, Guirec Lebrun, Thomas Legavre, Thomas Ricosset, Maxime Roméas, Éric Sageloli

IACR Cryptol. ePrint Arch., 2025

2024

Polytopes in the Fiat-Shamir with Aborts Paradigm.

Henry Bambury, Hugo Beguinet, Thomas Ricosset, Éric Sageloli

Proceedings of the Advances in Cryptology - CRYPTO 2024, 2024

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

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

Proceedings of the Applied Cryptography and Network 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