Contact information:
Cell: +34608574510
Email: Gilles [DOT] Barthe [AT] imdea [DOT] org
My research interests lie in the areas of security, cryptography,
programming languages, verification, and logic.
Selected projects:
Computer-aided cryptographic proofs 2006-
Mobius 2005-2009
Publications: see
DBLP.
Journals and events: