Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



11
TÍTULO: On Feller continuity and full abstraction
AUTORES: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLICAÇÃO: 2022, FONTE: Proc. ACM Program. Lang., VOLUME: 6, NÚMERO: ICFP
INDEXADO EM: DBLP
NO MEU: DBLP
12
TÍTULO: On Feller Continuity and Full Abstraction (Long Version)
AUTORES: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2207.10590
INDEXADO EM: DBLP
NO MEU: DBLP
13
TÍTULO: Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs
AUTORES: Junyi Liu; Li Zhou; Gilles Barthe ; Mingsheng Ying;
PUBLICAÇÃO: 2022, FONTE: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022
INDEXADO EM: DBLP
NO MEU: DBLP
14
TÍTULO: Safe couplings: coupled refinement types
AUTORES: Elizaveta Vasilenko; Niki Vazou; Gilles Barthe ;
PUBLICAÇÃO: 2022, FONTE: Proc. ACM Program. Lang., VOLUME: 6, NÚMERO: ICFP
INDEXADO EM: DBLP
NO MEU: DBLP
15
TÍTULO: Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
AUTORES: Gilles Barthe ; Adrien Koutsos; Solène Mirliaz; David Pichardie; Peter Schwabe;
PUBLICAÇÃO: 2022, FONTE: Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings, VOLUME: 13790
INDEXADO EM: DBLP
NO MEU: DBLP
16
TÍTULO: SoK: Practical Foundations for Software Spectre Defenses
AUTORES: Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe ; Deian Stefan;
PUBLICAÇÃO: 2022, FONTE: 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022
INDEXADO EM: DBLP
NO MEU: DBLP
17
TÍTULO: Spectre Declassified: Reading from the Right Place at the Wrong Time
AUTORES: Basavesh Ammanaghatta Shivakumar; Jack Barnes; Gilles Barthe ; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Sioli O'Connell; Peter Schwabe; Rui Qi Sim; Yuval Yarom;
PUBLICAÇÃO: 2022, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2022
INDEXADO EM: DBLP
NO MEU: DBLP
18
TÍTULO: Symbolic Synthesis of Indifferentiability Attacks
AUTORES: Itsaka Rakotonirina; Miguel Ambrona; Alejandro Aguirre; Gilles Barthe ;
PUBLICAÇÃO: 2022, FONTE: ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022 - 3 June 2022
INDEXADO EM: DBLP
NO MEU: DBLP
19
TÍTULO: Tidy: Symbolic Verification of Timed Cryptographic Protocols
AUTORES: Gilles Barthe ; Ugo Dal Lago; Giulio Malavolta; Itsaka Rakotonirina;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022
INDEXADO EM: DBLP
NO MEU: DBLP
20
TÍTULO: Typing High-Speed Cryptography against Spectre v1
AUTORES: Basavesh Ammanaghatta Shivakumar; Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Swarn Priya; Peter Schwabe; Lucas Tabary Maujean;
PUBLICAÇÃO: 2022, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2022
INDEXADO EM: DBLP
NO MEU: DBLP
Página 2 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