Skip to main content

VErified STAtic analysis platform

Searching for OpenAIRE data...


Verifying constant-time implementations by abstract interpretation

Author(s): Sandrine Blazy, David Pichardie, Alix Trieu
Published in: Journal of Computer Security, Issue 27/1, 2019, Page(s) 137-163, ISSN 0926-227X
DOI: 10.3233/jcs-181136

Formal verification of a constant-time preserving C compiler

Author(s): Gilles Barthe, Sandrine Blazy, Benjamin Grégoire, Rémi Hutin, Vincent Laporte, David Pichardie, Alix Trieu
Published in: Proceedings of the ACM on Programming Languages, Issue 4/POPL, 2020, Page(s) 1-30, ISSN 2475-1421
DOI: 10.1145/3371075