Accéder directement au contenu

Sandrine Blazy

6
Documents
Identifiants chercheurs

Présentation

Publications

"alix-trieu"
Image document

Verifying Constant-Time Implementations by Abstract Interpretation

Sandrine Blazy , David Pichardie , Alix Trieu
European Symposium on Research in Computer Security, Sep 2017, Oslo, Norway
Communication dans un congrès hal-01588444v1
Image document

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
Image document

Formal Verification of Control-flow Graph Flattening

Sandrine Blazy , Alix Trieu
Certified Proofs and Programs (CPP 2016), Jan 2016, Saint-Petersburg, United States. pp.12, ⟨10.1145/2854065.2854082⟩
Communication dans un congrès hal-01242063v1