Login / Signup
Gilles Barthe
ORCID
Publication Activity (10 Years)
Years Active: 1995-2024
Publications (10 Years): 183
Top Topics
Formal Verification
Probabilistic Relational
Countermeasures
Differential Privacy
Top Venues
CoRR
IACR Cryptol. ePrint Arch.
CCS
Proc. ACM Program. Lang.
</>
Publications
</>