POPL 2017
Sun 15 - Sat 21 January 2017
Gilles Barthe

Registered user since Mon 11 Nov 2019

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


POPL 2017 Coupling proofs are probabilistic product programs
Relational Cost Analysis
Show activities from other conferences

POPL 2017-profile
View general profile