David Pichardie - POPL 2020

Registered user since Mon 18 Jul 2016

Name:David Pichardie

Country:France

Affiliation:Univ Rennes, ENS Rennes, IRISA

Research interests:Machine-checked proofs, static analysis, programming languages, security

Contributions

CoqPL 2020	Towards Formally Verified Just-in-Time compilation
POPL 2020	Formal Verification of a Constant-Time Preserving C Compiler
PriSC 2020	A CompCert Compiler that Preserves Cryptographic Constant-time
Show activities from other conferences