Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 123



71
TÍTULO: Almost Sure Productivity
AUTORES: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: ICALP
INDEXADO EM: DBLP
72
TÍTULO: An Assertion-Based Program Logic for Probabilistic Programs
AUTORES: Gilles Barthe ; Thomas Espitau; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2018, FONTE: ESOP
INDEXADO EM: DBLP
73
TÍTULO: Formal verification of higher-order probabilistic programs
AUTORES: Tetsuya Sato; Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Justin Hsu;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.06091
INDEXADO EM: DBLP
74
TÍTULO: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Pacheco, H ; Pereira, V ; Portela, B ;
PUBLICAÇÃO: 2018, FONTE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Unpaywall
75
TÍTULO: LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018
AUTORES: Gilles Barthe ; Konstantin Korovin; Stephan Schulz; Martin Suda; Geoff Sutcliffe; Margus Veanes;
PUBLICAÇÃO: 2018, FONTE: LPAR (Workshop and Short Papers), VOLUME: 9
INDEXADO EM: DBLP
NO MEU: DBLP
76
77
TÍTULO: Masking the GLP Lattice-Based Signature Scheme at Any Order
AUTORES: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Benjamin Grégoire; Mélissa Rossi; Mehdi Tibouchi;
PUBLICAÇÃO: 2018, FONTE: EUROCRYPT (2)
INDEXADO EM: DBLP
78
TÍTULO: maskVerif: a formal tool for analyzing software and hardware masked implementations
AUTORES: Gilles Barthe ; Sonia Belaïd; Pierre Alain Fouque; Benjamin Grégoire;
PUBLICAÇÃO: 2018, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2018
INDEXADO EM: DBLP
79
TÍTULO: Monadic refinements for relational cost analysis
AUTORES: Ivan Radicek; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Florian Zuleger;
PUBLICAÇÃO: 2018, FONTE: Proc. ACM Program. Lang., VOLUME: 2, NÚMERO: POPL
INDEXADO EM: DBLP
80
TÍTULO: Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences
AUTORES: Borja Balle; Gilles Barthe ; Marco Gaboardi;
PUBLICAÇÃO: 2018, FONTE: NeurIPS
INDEXADO EM: DBLP
Página 8 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