Hugo Beguinet

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Formal Verification

Learning Models

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Henry Bambury, Hugo Beguinet, Thomas Ricosset, Éric Sageloli
Polytopes in the Fiat-Shamir with Aborts Paradigm. CRYPTO (1) (2024)
Henry Bambury, Hugo Beguinet, Thomas Ricosset, Éric Sageloli
Polytopes in the Fiat-Shamir with Aborts Paradigm. IACR Cryptol. ePrint Arch. 2024 (2024)
Hugo Beguinet, Céline Chevalier, David Pointcheval, Thomas Ricosset, Mélissa Rossi
GeT a CAKE: Generic Transformations from Key Encaspulation Mechanisms to Password Authenticated Key Exchanges. ACNS (2023)
Hugo Beguinet, Céline Chevalier, Thomas Ricosset, Hugo Senet
Formal Verification of a Post-quantum Signal Protocol with Tamarin. VECoS (2023)
Hugo Beguinet, Céline Chevalier, David Pointcheval, Thomas Ricosset, Mélissa Rossi
GeT a CAKE: Generic Transformations from Key Encaspulation Mechanisms to Password Authenticated Key Exchanges. IACR Cryptol. ePrint Arch. 2023 (2023)
Katarzyna Kapusta, Vincent Thouvenot, Olivier Bettan, Hugo Beguinet, Hugo Senet
A Protocol for Secure Verification of Watermarks Embedded into Machine Learning Models. IH&MMSec (2021)