Name:Gilles Barthe

Affiliation:IMDEA

Research interests:Formal methods, programming languages and program verification, software and system security, and cryptography