Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



111
TITLE: Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus PDF
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Lars Birkedal; Ales Bizjak; Marco Gaboardi; Deepak Garg;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1802.09787
INDEXED IN: DBLP arXiv
IN MY: DBLP
112
TITLE: Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic "Constant-Time"
AUTHORS: Gilles Barthe ; Benjamin Grégoire; Vincent Laporte;
PUBLISHED: 2018, SOURCE: 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018
INDEXED IN: DBLP
IN MY: DBLP
113
TITLE: Symbolic Proofs for Lattice-Based Cryptography
AUTHORS: Gilles Barthe ; Xiong Fan; Joshua Gancher; Benjamin Grégoire; Charlie Jacomme; Elaine Shi;
PUBLISHED: 2018, SOURCE: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018
INDEXED IN: DBLP
IN MY: DBLP
114
TITLE: Symbolic Proofs for Lattice-Based Cryptography
AUTHORS: Gilles Barthe ; Xiong Fan; Joshua Gancher; Benjamin Grégoire; Charlie Jacomme; Elaine Shi;
PUBLISHED: 2018, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2018
INDEXED IN: DBLP
IN MY: DBLP
115
TITLE: *-Liftings for Differential Privacy
AUTHORS: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, VOLUME: 80
INDEXED IN: DBLP
IN MY: DBLP
116
TITLE: *-Liftings for Differential Privacy PDF
AUTHORS: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.00133
INDEXED IN: DBLP arXiv
IN MY: DBLP
117
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Vitor Pereira ;
PUBLISHED: 2017, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017
INDEXED IN: DBLP
IN MY: DBLP
118
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Gregoire, B; Laporte, V; Pereira, V ;
PUBLISHED: 2017, SOURCE: 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, VOLUME: Part F131467
INDEXED IN: Scopus WOS DBLP CrossRef: 18 Unpaywall
IN MY: DBLP
119
TITLE: A Note on 'Further Improving Efficiency of Higher-Order Masking Scheme by Decreasing Randomness Complexity'
AUTHORS: Gilles Barthe ; François Dupressoir; Benjamin Grégoire;
PUBLISHED: 2017, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2017
INDEXED IN: DBLP
IN MY: DBLP
120
TITLE: A Relational Logic for Higher-Order Programs PDF
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1703.05042
INDEXED IN: DBLP arXiv
IN MY: DBLP
Page 12 of 17. Total results: 163.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service