Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



51
TÍTULO: Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification
AUTORES: Gilles Barthe ; Marc Gourjon; Benjamin Grégoire; Maximilian Orlt; Clara Paglialonga; Lars Porth;
PUBLICAÇÃO: 2020, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2020
INDEXADO EM: DBLP
NO MEU: DBLP
52
TÍTULO: Model-Agnostic Counterfactual Explanations for Consequential Decisions
AUTORES: Amir Hossein Karimi; Gilles Barthe ; Borja Balle; Isabel Valera;
PUBLICAÇÃO: 2020, FONTE: The 23rd International Conference on Artificial Intelligence and Statistics, AISTATS 2020, 26-28 August 2020, Online [Palermo, Sicily, Italy], VOLUME: 108
INDEXADO EM: DBLP
NO MEU: DBLP
53
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: Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12075
INDEXADO EM: DBLP
NO MEU: DBLP
54
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: CoRR, VOLUME: abs/2002.08489
INDEXADO EM: DBLP
NO MEU: DBLP
55
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
NO MEU: DBLP
56
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
NO MEU: DBLP
57
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
NO MEU: DBLP
58
TÍTULO: Scaling Guarantees for Nearest Counterfactual Explanations
AUTORES: Kiarash Mohammadi; Amir Hossein Karimi; Gilles Barthe ; Isabel Valera;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2010.04965
INDEXADO EM: DBLP
NO MEU: DBLP
59
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
NO MEU: DBLP
60
TÍTULO: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Gregoire, 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: 22
NO MEU: DBLP
Página 6 de 17. Total de resultados: 163.

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

Links Úteis

Ajuda

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