Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 123



41
TÍTULO: Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations
AUTORES: Gilles Barthe ; Sonia Belaïd; François Dupressoir; Pierre Alain Fouque; Benjamin Grégoire; François Xavier Standaert; Pierre Yves Strub;
PUBLICAÇÃO: 2020, FONTE: J. Cryptogr. Eng., VOLUME: 10, NÚMERO: 1
INDEXADO EM: DBLP
42
TÍTULO: Model-Agnostic Counterfactual Explanations for Consequential Decisions
AUTORES: Amir Hossein Karimi; Gilles Barthe ; Borja Balle; Isabel Valera;
PUBLICAÇÃO: 2020, FONTE: AISTATS
INDEXADO EM: DBLP
43
TÍTULO: On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem
AUTORES: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLICAÇÃO: 2020, FONTE: ESOP
INDEXADO EM: DBLP
44
TÍTULO: PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation
AUTORES: Gilles Barthe ; Roberta De Viti; Peter Druschel; Deepak Garg; Manuel Gomez Rodriguez; Pierfrancesco Ingo; Matthew Lentz; Aastha Mehta; Bernhard Schölkopf;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2011.08069
INDEXADO EM: DBLP
45
TÍTULO: Privacy Profiles and Amplification by Subsampling
AUTORES: Borja Balle; Gilles Barthe ; Marco Gaboardi;
PUBLICAÇÃO: 2020, FONTE: J. Priv. Confidentiality, VOLUME: 10, NÚMERO: 1
INDEXADO EM: DBLP
46
TÍTULO: Relational proofs for quantum programs
AUTORES: Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu; Li Zhou;
PUBLICAÇÃO: 2020, FONTE: Proc. ACM Program. Lang., VOLUME: 4, NÚMERO: POPL
INDEXADO EM: DBLP
47
TÍTULO: System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory
AUTORES: Gilles Barthe ; Gustavo Betarte; Juan Diego Campo; Carlos Luna; David Pichardie;
PUBLICAÇÃO: 2020, FONTE: J. Autom. Reason., VOLUME: 64, NÚMERO: 8
INDEXADO EM: DBLP
48
TÍTULO: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Grégoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLICAÇÃO: 2020, FONTE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May
INDEXADO EM: Scopus WOS DBLP CrossRef: 36
49
TÍTULO: Universal equivalence and majority of probabilistic programs over finite fields
AUTORES: Gilles Barthe ; Charlie Jacomme; Steve Kremer;
PUBLICAÇÃO: 2020, FONTE: LICS
INDEXADO EM: DBLP
50
TÍTULO: A Machine-Checked Proof of Security for AWS Key Management Service
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLICAÇÃO: 2019, FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
Página 5 de 13. Total de resultados: 123.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service