Publications Conference proceedings (3) A Fast Verified Liveness Analysis in SSA Form Author(s): Jean-Christophe Léchenet, Sandrine Blazy, David Pichardie Published in: Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II, Issue 12167, 2020, Page(s) 324-340, ISBN 978-3-030-51053-4 Publisher: Springer International Publishing DOI: 10.1007/978-3-030-51054-1_19 Secure Compilation of Constant-Resource Programs Author(s): Gilles Barthe, Sandrine Blazy, Remi Hutin, David Pichardie Published in: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, Page(s) 1-12, ISBN 978-1-7281-7607-9 Publisher: IEEE DOI: 10.1109/csf51468.2021.00020 From Verified Compilation to Secure Compilation: a Semantic Approach Author(s): Sandrine Blazy Published in: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020, Page(s) 1-1, ISBN 9781450380928 Publisher: ACM DOI: 10.1145/3411506.3417601 Peer reviewed articles (3) 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 Publisher: IOS Press 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 Publisher: ACM DOI: 10.1145/3371075 Formally verified speculation and deoptimization in a JIT compiler Author(s): Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek Published in: Proceedings of the ACM on Programming Languages, Issue 5/POPL, 2021, Page(s) 1-26, ISSN 2475-1421 Publisher: ACM DOI: 10.1145/3434327 Book chapters (1) Verified Functional Programming of an Abstract Interpreter Author(s): Lucas Franceschino, David Pichardie, Jean-Pierre Talpin Published in: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings, Issue 12913, 2021, Page(s) 124-143, ISBN 978-3-030-88805-3 Publisher: Springer International Publishing DOI: 10.1007/978-3-030-88806-0_6 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available
