Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 123



81
TÍTULO: Proving expected sensitivity of probabilistic programs
AUTORES: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2018, FONTE: Proc. ACM Program. Lang., VOLUME: 2, NÚMERO: POPL
INDEXADO EM: DBLP
82
TÍTULO: Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
AUTORES: Alejandro Aguirre; Gilles Barthe ; Lars Birkedal; Ales Bizjak; Marco Gaboardi; Deepak Garg;
PUBLICAÇÃO: 2018, FONTE: ESOP
INDEXADO EM: DBLP
83
TÍTULO: Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic "Constant-Time"
AUTORES: Gilles Barthe ; Benjamin Grégoire; Vincent Laporte;
PUBLICAÇÃO: 2018, FONTE: CSF
INDEXADO EM: DBLP
84
TÍTULO: Symbolic Proofs for Lattice-Based Cryptography
AUTORES: Gilles Barthe ; Xiong Fan; Joshua Gancher; Benjamin Grégoire; Charlie Jacomme; Elaine Shi;
PUBLICAÇÃO: 2018, FONTE: CCS
INDEXADO EM: DBLP
85
TÍTULO: *-Liftings for Differential Privacy
AUTORES: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: ICALP
INDEXADO EM: DBLP
86
TÍTULO: A Fast and Verified Software Stack for Secure Function Evaluation
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Pereira, V ;
PUBLICAÇÃO: 2017, FONTE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXADO EM: Scopus WOS DBLP CrossRef: 21 Unpaywall
87
TÍTULO: A Note on 'Further Improving Efficiency of Higher-Order Masking Scheme by Decreasing Randomness Complexity'
AUTORES: Gilles Barthe ; François Dupressoir; Benjamin Grégoire;
PUBLICAÇÃO: 2017, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2017
INDEXADO EM: DBLP
88
TÍTULO: A relational logic for higher-order programs
AUTORES: Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: Proc. ACM Program. Lang., VOLUME: 1, NÚMERO: ICFP
INDEXADO EM: DBLP
89
TÍTULO: Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions
AUTORES: Miguel Ambrona; Gilles Barthe ; Romain Gay; Hoeteck Wee;
PUBLICAÇÃO: 2017, FONTE: CCS
INDEXADO EM: DBLP
90
TÍTULO: Coupling proofs are probabilistic product programs
AUTORES: Gilles Barthe ; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: POPL
INDEXADO EM: DBLP
Página 9 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