Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



41
TITLE: A probabilistic separation logic
AUTHORS: Gilles Barthe ; Justin Hsu; Kevin Liao;
PUBLISHED: 2020, SOURCE: Proc. ACM Program. Lang., VOLUME: 4, ISSUE: POPL
INDEXED IN: DBLP
IN MY: DBLP
42
TITLE: A survey of algorithmic recourse: definitions, formulations, solutions, and prospects
AUTHORS: Amir Hossein Karimi; Gilles Barthe ; Bernhard Schölkopf; Isabel Valera;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.04050
INDEXED IN: DBLP
IN MY: DBLP
43
TITLE: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLISHED: 2020, SOURCE: 21st International Conference on Cryptology in India, INDOCRYPT 2020 in Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings, VOLUME: 12578
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: DBLP
44
TITLE: Constant-time foundations for the new spectre era
AUTHORS: Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Dean M Tullsen; Deian Stefan; Tamara Rezk; Gilles Barthe ;
PUBLISHED: 2020, SOURCE: Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020
INDEXED IN: DBLP
IN MY: DBLP
45
TITLE: Deciding Accuracy of Differential Privacy Schemes
AUTHORS: Gilles Barthe ; Rohit Chadha; Paul Krogmeier; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2011.06404
INDEXED IN: DBLP
IN MY: DBLP
46
TITLE: Deciding Differential Privacy for Programs with Finite Inputs and Outputs
AUTHORS: Gilles Barthe ; Rohit Chadha; Vishal Jagannath; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2020, SOURCE: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020.
INDEXED IN: DBLP
IN MY: DBLP
47
TITLE: Formal verification of a constant-time preserving C compiler
AUTHORS: Gilles Barthe ; Sandrine Blazy; Benjamin Grégoire; Rémi Hutin; Vincent Laporte; David Pichardie; Alix Trieu;
PUBLISHED: 2020, SOURCE: Proc. ACM Program. Lang., VOLUME: 4, ISSUE: POPL
INDEXED IN: DBLP
IN MY: DBLP
48
TITLE: High-Assurance Cryptography Software in the Spectre Era
AUTHORS: Gilles Barthe ; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira; Swarn Priya; Tamara Rezk; Peter Schwabe;
PUBLISHED: 2020, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2020
INDEXED IN: DBLP
IN MY: DBLP
49
TITLE: Hypothesis Testing Interpretations and Renyi Differential Privacy
AUTHORS: Borja Balle; Gilles Barthe ; Marco Gaboardi; Justin Hsu; Tetsuya Sato;
PUBLISHED: 2020, SOURCE: The 23rd International Conference on Artificial Intelligence and Statistics, AISTATS 2020, 26-28 August 2020, Online [Palermo, Sicily, Italy], VOLUME: 108
INDEXED IN: DBLP
IN MY: DBLP
50
TITLE: Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations
AUTHORS: Gilles Barthe ; Sonia Belaïd; François Dupressoir; Pierre Alain Fouque; Benjamin Grégoire; François Xavier Standaert; Pierre Yves Strub;
PUBLISHED: 2020, SOURCE: J. Cryptogr. Eng., VOLUME: 10, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
Page 5 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