Sandrine Blazy
6
Documents
Identifiants chercheurs
- sandrine-blazy
- 0000-0002-0189-0223
- IdRef : 153042567
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
|
Formal verification of a constant-time preserving C compilerProceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-30. ⟨10.1145/3371075⟩
Article dans une revue
hal-02975012v1
|
|
Verifying constant-time implementations by abstract interpretationJournal of Computer Security, 2019, 27 (1), pp.137--163. ⟨10.3233/JCS-181136⟩
Article dans une revue
hal-02025047v1
|
|
Verifying Constant-Time Implementations by Abstract InterpretationEuropean Symposium on Research in Computer Security, Sep 2017, Oslo, Norway
Communication dans un congrès
hal-01588444v1
|
|
Verified Translation Validation of Static AnalysesComputer Security Foundations Symposium, Aug 2017, Santa-Barbara, United States
Communication dans un congrès
hal-01588422v1
|
|
Formal Verification of Control-flow Graph FlatteningCertified Proofs and Programs (CPP 2016), Jan 2016, Saint-Petersburg, United States. pp.12, ⟨10.1145/2854065.2854082⟩
Communication dans un congrès
hal-01242063v1
|