Gilles Barthe
Max Planck Institute for Security and Privacy(DE)IMDEA Software Institute(ES)
Publications by Year
Research Areas
Security and Verification in Computing, Logic, programming, and type systems, Cryptography and Data Security, Cryptographic Implementations and Security, Formal Methods in Verification
Most-Cited Works
- → Foundations of Security Analysis and Design V(2009)264 cited
- → Formal certification of code-based cryptographic proofs(2009)261 cited
- → Computer-Aided Security Proofs for the Working Cryptographer(2011)243 cited
- → Strong Non-Interference and Type-Directed Higher-Order Masking(2016)216 cited
- → Secure information flow by self-composition(2004)213 cited
- → Relational Verification Using Product Programs(2011)201 cited
- Verifying constant-time implementations(2016)