Hugo Beguinet

According to our database, Hugo Beguinet authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

2024

Polytopes in the Fiat-Shamir with Aborts Paradigm.

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

IACR Cryptol. ePrint Arch., 2024

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

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

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