Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



21
TÍTULO: Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
AUTORES: Gilles Barthe ; Charlie Jacomme; Steve Kremer;
PUBLICAÇÃO: 2022, FONTE: ACM Trans. Comput. Log., VOLUME: 23, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
22
TÍTULO: A pre-expectation calculus for probabilistic sensitivity
AUTORES: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Benjamin Lucien Kaminski; Joost Pieter Katoen; Christoph Matheja;
PUBLICAÇÃO: 2021, FONTE: Proc. ACM Program. Lang., VOLUME: 5, NÚMERO: POPL
INDEXADO EM: DBLP
NO MEU: DBLP
23
TÍTULO: A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
AUTORES: Li Zhou; Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu;
PUBLICAÇÃO: 2021, FONTE: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021
INDEXADO EM: DBLP
NO MEU: DBLP
24
TÍTULO: A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
AUTORES: Li Zhou; Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2102.00329
INDEXADO EM: DBLP
NO MEU: DBLP
25
TÍTULO: Deciding accuracy of differential privacy schemes
AUTORES: Gilles Barthe ; Rohit Chadha; Paul Krogmeier; Prasad P Sistla; Mahesh Viswanathan;
PUBLICAÇÃO: 2021, FONTE: Proc. ACM Program. Lang., VOLUME: 5, NÚMERO: POPL
INDEXADO EM: DBLP
NO MEU: DBLP
26
TÍTULO: EasyPQC: Verifying Post-Quantum Cryptography  Full Text
AUTORES: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
PUBLICAÇÃO: 2021, FONTE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: DBLP
27
TÍTULO: EasyPQC: Verifying Post-Quantum Cryptography
AUTORES: Manuel Barbosa ; Gilles Barthe ; Xiong Fan; Benjamin Grégoire; Shih Han Hung; Jonathan Katz; Pierre Yves Strub; Xiaodi Wu; Li Zhou;
PUBLICAÇÃO: 2021, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXADO EM: DBLP
NO MEU: DBLP
28
TÍTULO: High-Assurance Cryptography 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: 2021, FONTE: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021
INDEXADO EM: DBLP
NO MEU: DBLP
29
TÍTULO: Higher-order probabilistic adversarial computations: categorical semantics and program logics
AUTORES: Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Shin ya Katsumata; Tetsuya Sato;
PUBLICAÇÃO: 2021, FONTE: Proc. ACM Program. Lang., VOLUME: 5, NÚMERO: ICFP
INDEXADO EM: DBLP
NO MEU: DBLP
30
TÍTULO: Higher-order probabilistic adversarial computations: Categorical semantics and program logics
AUTORES: Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Shin ya Katsumata; Tetsuya Sato;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2107.01155
INDEXADO EM: DBLP
NO MEU: DBLP
Página 3 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