Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 123



51
TÍTULO: A relational logic for higher-order programs
AUTORES: Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Pierre Yves Strub;
PUBLICAÇÃO: 2019, FONTE: J. Funct. Program., VOLUME: 29
INDEXADO EM: DBLP
52
TÍTULO: Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy
AUTORES: Tetsuya Sato; Gilles Barthe ; Marco Gaboardi; Justin Hsu; Shin ya Katsumata;
PUBLICAÇÃO: 2019, FONTE: LICS
INDEXADO EM: DBLP
53
TÍTULO: Automated Analysis of Cryptographic Assumptions in Generic Group Models
AUTORES: Gilles Barthe ; Edvard Fagerholm; Dario Fiore; John C Mitchell; Andre Scedrov; Benedikt Schmidt;
PUBLICAÇÃO: 2019, FONTE: J. Cryptol., VOLUME: 32, NÚMERO: 2
INDEXADO EM: DBLP
54
TÍTULO: Automated Methods for Checking Differential Privacy
AUTORES: Gilles Barthe ; Rohit Chadha; Vishal Jagannath; Prasad P Sistla; Mahesh Viswanathan;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1910.04137
INDEXADO EM: DBLP
55
TÍTULO: Bidirectional type checking for relational properties
AUTORES: Ezgi Çiçek; Weihao Qu; Gilles Barthe ; Marco Gaboardi; Deepak Garg;
PUBLICAÇÃO: 2019, FONTE: PLDI
INDEXADO EM: DBLP
56
TÍTULO: Coupling Techniques for Reasoning about Quantum Programs
AUTORES: Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu; Li Zhou;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1901.05184
INDEXADO EM: DBLP
57
TÍTULO: FaCT: a DSL for timing-sensitive computation
AUTORES: Sunjay Cauligi; Gary Soeller; Brian Johannesmeyer; Fraser Brown; Riad S Wahby; John Renner; Benjamin Grégoire; Gilles Barthe ; Ranjit Jhala; Deian Stefan;
PUBLICAÇÃO: 2019, FONTE: PLDI
INDEXADO EM: DBLP
58
TÍTULO: Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization
AUTORES: Tetsuya Sato; Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Justin Hsu;
PUBLICAÇÃO: 2019, FONTE: Proc. ACM Program. Lang., VOLUME: 3, NÚMERO: POPL
INDEXADO EM: DBLP
59
TÍTULO: GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited
AUTORES: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Mélissa Rossi; Mehdi Tibouchi;
PUBLICAÇÃO: 2019, FONTE: CCS
INDEXADO EM: DBLP
60
TÍTULO: Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
AUTORES: Patrick Baillot; Gilles Barthe ; Ugo Dal Lago;
PUBLICAÇÃO: 2019, FONTE: J. Autom. Reason., VOLUME: 63, NÚMERO: 4
INDEXADO EM: DBLP
Página 6 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