Not registered as user yet
Name: Gilles Barthe
Affiliation: IMDEA
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
| POPL 2017 | Author of Coupling proofs are probabilistic product programs within the POPL-track Author of Relational Cost Analysis within the POPL-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2017-profile
View general profile
View general profile