Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



31
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: 2021, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2021, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: DBLP
32
TÍTULO: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTORES: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLICAÇÃO: 2021, FONTE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXADO EM: WOS DBLP CrossRef: 6
NO MEU: DBLP
33
TÍTULO: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTORES: Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
PUBLICAÇÃO: 2021, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXADO EM: DBLP
NO MEU: DBLP
34
TÍTULO: On continuation-passing transformations and expected cost analysis
AUTORES: Martin Avanzini; Gilles Barthe ; Ugo Dal Lago;
PUBLICAÇÃO: 2021, FONTE: Proc. ACM Program. Lang., VOLUME: 5, NÚMERO: ICFP
INDEXADO EM: DBLP
NO MEU: DBLP
35
TÍTULO: Scaling Guarantees for Nearest Counterfactual Explanations
AUTORES: Kiarash Mohammadi; Amir Hossein Karimi; Gilles Barthe ; Isabel Valera;
PUBLICAÇÃO: 2021, FONTE: AIES '21: AAAI/ACM Conference on AI, Ethics, and Society, Virtual Event, USA, May 19-21, 2021
INDEXADO EM: DBLP
NO MEU: DBLP
36
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
INDEXADO EM: DBLP
NO MEU: DBLP
37
TÍTULO: SoK: Computer-Aided Cryptography
AUTORES: Manuel Barbosa ; Gilles Barthe ; Karthik Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLICAÇÃO: 2021, FONTE: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021
INDEXADO EM: DBLP
NO MEU: DBLP
38
TÍTULO: SoK: Practical Foundations for Spectre Defenses
AUTORES: Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe ; Deian Stefan;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2105.05801
INDEXADO EM: DBLP
NO MEU: DBLP
39
TÍTULO: Structured Leakage and Applications to Cryptographic Constant-Time and Cost
AUTORES: Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Swarn Priya;
PUBLICAÇÃO: 2021, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXADO EM: DBLP
NO MEU: DBLP
40
TÍTULO: Structured Leakage and Applications to Cryptographic Constant-Time and Cost
AUTORES: Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Swarn Priya;
PUBLICAÇÃO: 2021, FONTE: CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021
INDEXADO EM: DBLP
NO MEU: DBLP
Página 4 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