Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



151
TÍTULO: Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations. efficient provably secure machine code from high-level implementations  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
PUBLICAÇÃO: 2013, FONTE: 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS 2013 in Proceedings of the ACM Conference on Computer and Communications Security
INDEXADO EM: Scopus DBLP CrossRef: 29
NO MEU: DBLP
152
TÍTULO: Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLICAÇÃO: 2013, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2013
INDEXADO EM: DBLP
NO MEU: DBLP
153
TÍTULO: Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2012
INDEXADO EM: DBLP
NO MEU: DBLP
154
TÍTULO: Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. verifiable compilation of efficient zero-knowledge protocols  Full Text
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: 2012 ACM Conference on Computer and Communications Security, CCS 2012 in the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012
INDEXADO EM: Scopus DBLP CrossRef: 15
NO MEU: DBLP
155
156
TÍTULO: Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings  Full Text
AUTORES: Gilles Barthe ; Alberto Pardo; Gerardo Schneider;
PUBLICAÇÃO: 2011, FONTE: SEFM, VOLUME: 7041
INDEXADO EM: DBLP
NO MEU: DBLP
157
158
TÍTULO: Tool-assisted specification and verification of typed low-level languages  Full Text
AUTORES: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simao Melo De Sousa ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: DBLP
159
TÍTULO: A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
AUTORES: Gilles Barthe ; Guillaume Dufay; Line Jakubiec; Simão Melo de Sousa ;
PUBLICAÇÃO: 2002, FONTE: 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002 in Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, VOLUME: 2294
INDEXADO EM: Scopus DBLP CrossRef: 16
NO MEU: DBLP
160
TÍTULO: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
AUTORES: Gilles Barthe ; Peter Dybjer; Luis Pinto; João Saraiva ;
PUBLICAÇÃO: 2002, FONTE: APPSEM, VOLUME: 2395
INDEXADO EM: DBLP
NO MEU: DBLP
Página 16 de 17. Total de resultados: 163.

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

Links Úteis

Ajuda

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