Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



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