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