Sandrine Blazy
1
Documents
Identifiants chercheurs
- sandrine-blazy
- 0000-0002-0189-0223
- IdRef : 153042567
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 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
|