Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 123



21
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
22
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: LICS
INDEXADO EM: DBLP
23
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
24
TÍTULO: EasyPQC: Verifying Post-Quantum Cryptography
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: 21
25
TÍTULO: High-Assurance Cryptography in the Spectre Era  Full Text
AUTORES: Gilles Barthe ; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira; Swarn Priya; Tamara Rezk; Peter Schwabe;
PUBLICAÇÃO: 2021, FONTE: SP, VOLUME: 2021-May
INDEXADO EM: Scopus DBLP CrossRef: 23
26
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
27
TÍTULO: Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification
AUTORES: Gilles Barthe ; Marc Gourjon; Benjamin Grégoire; Maximilian Orlt; Clara Paglialonga; Lars Porth;
PUBLICAÇÃO: 2021, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2021, NÚMERO: 2
INDEXADO EM: DBLP
28
TÍTULO: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTORES: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
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: WOS DBLP CrossRef: 12
29
TÍTULO: On continuation-passing transformations and expected cost analysis
AUTORES: Martin Avanzini; Gilles Barthe ; Ugo Dal Lago;
PUBLICAÇÃO: 2021, FONTE: Proc. ACM Program. Lang., VOLUME: 5, NÚMERO: ICFP
INDEXADO EM: DBLP
30
TÍTULO: Scaling Guarantees for Nearest Counterfactual Explanations
AUTORES: Kiarash Mohammadi; Amir Hossein Karimi; Gilles Barthe ; Isabel Valera;
PUBLICAÇÃO: 2021, FONTE: AIES
INDEXADO EM: DBLP
Página 3 de 13. Total de resultados: 123.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service