Write a Blog >>
David Pichardie

Registered user since Mon 18 Jul 2016

Name: David Pichardie

Country: France

Affiliation: Univ Rennes, ENS Rennes, IRISA

Personal website: http://www.irisa.fr/celtique/pichardie/

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

Contributions

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

POPL 2020-profile
View general profile