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