Gilles Barthe


AuthID: R-00H-7MM

Publicações a aguardar confirmação

31
TÍTULO: Computer-Aided Verification for Mechanism Design
AUTORES: Gilles Barthe; Marco Gaboardi; Emilio Jesús Gallego Arias; Justin Hsu; Aaron Roth; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: Web and Internet Economics - 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings, VOLUME: 10123
INDEXADO EM: DBLP
NO MEU: DBLP
32
TÍTULO: Synthesizing Probabilistic Invariants via Doob's Decomposition PDF
AUTORES: Gilles Barthe; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1605.02765
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
33
TÍTULO: Differentially Private Bayesian Programming PDF
AUTORES: Gilles Barthe; Gian Pietro Farina; Marco Gaboardi; Emilio Jesús Gallego Arias; Andy Gordon; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1605.00283
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
34
TÍTULO: Proving Differential Privacy via Probabilistic Couplings PDF
AUTORES: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1601.05047
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
35
TÍTULO: A program logic for union bounds PDF
AUTORES: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1602.05681
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
36
TÍTULO: Advanced Probabilistic Couplings for Differential Privacy PDF
AUTORES: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1606.07143
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
37
TÍTULO: Coupling proofs are probabilistic product programs PDF
AUTORES: Gilles Barthe; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1607.03455
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
38
TÍTULO: Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model
AUTORES: Miguel Ambrona; Gilles Barthe; Benedikt Schmidt;
PUBLICAÇÃO: 2016, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2016
INDEXADO EM: DBLP
NO MEU: DBLP
39
TÍTULO: Generic Transformations of Predicate Encodings: Constructions and Applications
AUTORES: Miguel Ambrona; Gilles Barthe; Benedikt Schmidt;
PUBLICAÇÃO: 2016, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2016
INDEXADO EM: DBLP
NO MEU: DBLP
40
TÍTULO: Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model
AUTORES: Gilles Barthe; François Dupressoir; Sebastian Faust; Benjamin Grégoire; François Xavier Standaert; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2016
INDEXADO EM: DBLP
NO MEU: DBLP
Página 4 de 21. Total de resultados: 208.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service