Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



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