
Gilles Barthe
Institution: Max Planck Institute for Security and Privacy / CASA
Research Hub(s):
Hub A: Future Cryptography
Hub B: Embedded Security
E-Mail: Gilles.Barthe@mpi-sp.org
Publications:
Typing High-Speed Cryptography against Spectre v1 Protecting cryptographic code against Spectre-RSB (and, in fact, all known Spectre variants) Testing Side-Channel Security of Cryptographic Implementations against Future Microarchitectures Ultimate SLH: Taking Speculative Load Hardening to the Next Level Spectre Declassified: Reading from the Right Place at the Wrong Time