![Gilles Barthe](https://conf.researchr.org/getProfileImage/gillesbarthe/2df0b5e3-48a5-4e9c-8579-0ae0ce02da15/small.jpg?1711523163000)
Registered user since Mon 11 Nov 2019
Name:Gilles Barthe
Affiliation:IMDEA Software Institute, Spain
Personal website: http://software.imdea.org/~gbarthe/index.html
Research interests:Formal methods, programming languages and program verification, software and system security, and cryptography
Contributions
ICFP 2017-profile
View general profile
View general profile