David Pichardie

A Formally-Verified C Static Analyzer

Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy et al. · 2014 · 121 citations · Full text

Program Checking, Engineering, Verification +19

System-level Non-interference for Constant-time Cryptography

Gilles Barthe, Gustavo Betarte, Juan Diego Campo et al. · 2014 · 117 citations

Extracting a data flow analyser in constructive logic

David Cachera, Thomas Wiben Jensen, David Pichardie et al. · Theoretical Computer Science · 2005 · 61 citations · Full text

Applied Logic, Engineering, Data Flow +7

A verified information-flow architecture

Arthur Azevedo de Amorim, Nathan Collins, André DeHon et al. · 2014 · 57 citations · Full text

Engineering, Information Security, Verification +22

Proof-carrying code from certified abstract interpretation and fixpoint compression

Frédéric Besson, Thomas Wiben Jensen, David Pichardie · Theoretical Computer Science · 2006 · 47 citations

Engineering, Program Analysis, Automated Reasoning +9