POPL 2017
Sun 15 - Sat 21 January 2017
Gilles Barthe

Registered user since Mon 11 Nov 2019

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 Coupling proofs are probabilistic product programs
Relational Cost Analysis
Show activities from other conferences

POPL 2017-profile
View general profile