Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 123



11
TÍTULO: Enforcing Fine-grained Constant-time Policies
AUTORES: Basavesh Ammanaghatta Shivakumar; Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Swarn Priya;
PUBLICAÇÃO: 2022, FONTE: CCS
INDEXADO EM: DBLP
12
TÍTULO: Flux: Liquid Types for Rust
AUTORES: Nico Lehmann; Adam T Geller; Gilles Barthe ; Niki Vazou; Ranjit Jhala;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2207.04034
INDEXADO EM: DBLP
13
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
14
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
INDEXADO EM: DBLP
15
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
16
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: SAS
INDEXADO EM: DBLP
17
TÍTULO: SoK: Practical Foundations for Software Spectre Defenses
AUTORES: Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe ; Deian Stefan;
PUBLICAÇÃO: 2022, FONTE: SP
INDEXADO EM: DBLP
18
TÍTULO: Symbolic Synthesis of Indifferentiability Attacks
AUTORES: Itsaka Rakotonirina; Miguel Ambrona; Alejandro Aguirre; Gilles Barthe ;
PUBLICAÇÃO: 2022, FONTE: AsiaCCS
INDEXADO EM: 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: CCS
INDEXADO EM: DBLP
20
TÍTULO: Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
AUTORES: Gilles Barthe ; Charlie Jacomme; Steve Kremer;
PUBLICAÇÃO: 2022, FONTE: ACM Trans. Comput. Log., VOLUME: 23, NÚMERO: 1
INDEXADO EM: DBLP
Página 2 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