Write a Blog >>
David Pichardie

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

POPL 2020-profile
View general profile