Documentation
Français (FR)

Anglais (EN)

Sandrine Blazy

7

Documents

Identifiants chercheurs

sandrine-blazy
0000-0002-0189-0223
IdRef : 153042567

Présentation

Publications

vincent-laporte

	Formal verification of a constant-time preserving C compiler Gilles Barthe , Sandrine Blazy , Benjamin Grégoire , Rémi Hutin , Vincent Laporte Proceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-30. ⟨10.1145/3371075⟩ Article dans une revue hal-02975012v1
	Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code Sandrine Blazy , Vincent Laporte , David Pichardie Journal of Automated Reasoning, 2016, 56 (3), pp.26. ⟨10.1007/s10817-015-9359-8⟩ Article dans une revue hal-01243700v1

	Verified Translation Validation of Static Analyses Gilles Barthe , Sandrine Blazy , Vincent Laporte , David Pichardie , Alix Trieu Computer Security Foundations Symposium, Aug 2017, Santa-Barbara, United States Communication dans un congrès hal-01588422v1
	An Abstract Memory Functor for Verified C Static Analyzers Sandrine Blazy , Vincent Laporte , David Pichardie ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), Sep 2016, Nara, Japan. pp.14, ⟨10.1145/2951913.2951937⟩ Communication dans un congrès hal-01339969v1
	A formally-verified C static analyzer Jacques-Henri Jourdan , Vincent Laporte , Sandrine Blazy , Xavier Leroy , David Pichardie POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. pp.247-259, ⟨10.1145/2676726.2676966⟩ Communication dans un congrès hal-01078386v1
	Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code Sandrine Blazy , Vincent Laporte , David Pichardie The 5th International Conference on Interactive Theorem Proving (ITP 2014), 2014, Vienna, Austria. pp.128 - 143, ⟨10.1007/978-3-319-08970-6_9⟩ Communication dans un congrès hal-01102445v1
	Formal Verification of a C Value Analysis Based on Abstract Interpretation Sandrine Blazy , Vincent Laporte , André Maroneze , David Pichardie SAS - 20th Static Analysis Symposium, Jun 2013, Seattle, United States. pp.324-344 Communication dans un congrès hal-00812515v1