Login / Signup
Hugo Senet
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Anonymous Communication
Formal Verification
Learning Models
Cryptographic Protocols
Top Venues
ARES
IH&MMSec
VECoS
</>
Publications
</>
Olivier Blazy
,
Céline Chevalier
,
Guillaume Renaut
,
Thomas Ricosset
,
Éric Sageloli
,
Hugo Senet
Efficient Implementation of a Post-Quantum Anonymous Credential Protocol.
ARES
(2023)
Hugo Beguinet
,
Céline Chevalier
,
Thomas Ricosset
,
Hugo Senet
Formal Verification of a Post-quantum Signal Protocol with Tamarin.
VECoS
(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)