Sandrine Blazy
AuthID: R-00K-HHV
1
TITLE: Secure Compilation of Constant-Resource Programs
AUTHORS: Gilles Barthe ; Sandrine Blazy; Rémi Hutin; David Pichardie;
PUBLISHED: 2021, SOURCE: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021
AUTHORS: Gilles Barthe ; Sandrine Blazy; Rémi Hutin; David Pichardie;
PUBLISHED: 2021, SOURCE: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021
INDEXED IN: 
DBLP
DBLP2
TITLE: Formal verification of a constant-time preserving C compiler
AUTHORS: Gilles Barthe ; Sandrine Blazy; Benjamin Grégoire; Rémi Hutin; Vincent Laporte; David Pichardie; Alix Trieu;
PUBLISHED: 2020, SOURCE: Proc. ACM Program. Lang., VOLUME: 4, ISSUE: POPL
AUTHORS: Gilles Barthe ; Sandrine Blazy; Benjamin Grégoire; Rémi Hutin; Vincent Laporte; David Pichardie; Alix Trieu;
PUBLISHED: 2020, SOURCE: Proc. ACM Program. Lang., VOLUME: 4, ISSUE: POPL
INDEXED IN: DBLP
DBLP3
TITLE: Formal Verification of a Constant-Time Preserving C Compiler
AUTHORS: Gilles Barthe ; Sandrine Blazy; Benjamin Grégoire; Rémi Hutin; Vincent Laporte; David Pichardie; Alix Trieu;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019
AUTHORS: Gilles Barthe ; Sandrine Blazy; Benjamin Grégoire; Rémi Hutin; Vincent Laporte; David Pichardie; Alix Trieu;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXED IN: DBLP
DBLP4
TITLE: Verified Translation Validation of Static Analyses
AUTHORS: Gilles Barthe ; Sandrine Blazy; Vincent Laporte; David Pichardie; Alix Trieu;
PUBLISHED: 2017, SOURCE: 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017
AUTHORS: Gilles Barthe ; Sandrine Blazy; Vincent Laporte; David Pichardie; Alix Trieu;
PUBLISHED: 2017, SOURCE: 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017
INDEXED IN: DBLP
DBLP