Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



61
TÍTULO: Universal equivalence and majority of probabilistic programs over finite fields
AUTORES: Gilles Barthe ; Charlie Jacomme; Steve Kremer;
PUBLICAÇÃO: 2020, FONTE: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020.
INDEXADO EM: DBLP
NO MEU: DBLP
62
TÍTULO: A Machine-Checked Proof of Security for AWS Key Management Service  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLICAÇÃO: 2019, FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: DBLP
63
TÍTULO: A Probabilistic Separation Logic PDF
AUTORES: Gilles Barthe ; Justin Hsu; Kevin Liao;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.10708
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
64
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
NO MEU: DBLP
65
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: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019
INDEXADO EM: DBLP
NO MEU: DBLP
66
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
NO MEU: DBLP
67
TÍTULO: Automated Methods for Checking Differential Privacy PDF
AUTORES: Gilles Barthe ; Rohit Chadha; Vishal Jagannath; Prasad P Sistla; Mahesh Viswanathan;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1910.04137
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
68
TÍTULO: Bidirectional type checking for relational properties
AUTORES: Ezgi Çiçek; Weihao Qu; Gilles Barthe ; Marco Gaboardi; Deepak Garg;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019.
INDEXADO EM: DBLP
NO MEU: DBLP
69
TÍTULO: Coupling Techniques for Reasoning about Quantum Programs PDF
AUTORES: Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu; Li Zhou;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1901.05184
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
70
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: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019.
INDEXADO EM: DBLP
NO MEU: DBLP
Página 7 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