Login / Signup
Hugo Beguinet
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Domain Specific
Watermarking Technique
Formal Verification
Coloured Petri Nets
Top Venues
ACNS
IACR Cryptol. ePrint Arch.
IH&MMSec
VECoS
</>
Publications
</>
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)