Statistics
Publications
20
Citations
703
H-Index
14
Active since
2005
David Pichardie is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in formal methods, computing, and computer science.
Publications per year
2005–2023
20
20
A Formally-Verified C Static Analyzer
Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy et al. · 2014 · 122 citations · Full text
System-level Non-interference for Constant-time Cryptography
Gilles Barthe, Gustavo Betarte, Juan Diego Campo et al. · 2014 · 118 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
A verified information-flow architecture
Arthur Azevedo de Amorim, Nathan Collins, André DeHon et al. · 2014 · 57 citations · Full text
1–5 of 20