David Pichardie

David Pichardie

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France
Others
AD Scientific Index ID: 4420747
French National Institute for Research in Computer Science and Control
person_outline David Pichardie's MOST POPULAR ARTICLES
1-) A formally-verified C static analyzerJH Jourdan, V Laporte, S Blazy, X Leroy, D PichardieACM SIGPLAN Notices 50 (1), 247-259, 20151932015
2-) System-level non-interference for constant-time cryptographyG Barthe, G Betarte, J Campo, C Luna, D PichardieProceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 20141422014
3-) Formal verification of a constant-time preserving C compilerG Barthe, S Blazy, B Grégoire, R Hutin, V Laporte, D Pichardie, A TrieuProceedings of the ACM on Programming Languages 4 (POPL), 1-30, 20191252019
4-) A verified information-flow architectureA Azevedo de Amorim, N Collins, A DeHon, D Demange, C Hriţcu, ...Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 20141232014
5-) A certified lightweight non-interference java bytecode verifierG Barthe, D Pichardie, T RezkProgramming Languages and Systems: 16th European Symposium on Programming …, 20071222007