Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 123



111
TÍTULO: Verifying Constant-Time Implementations
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Emmi, M;
PUBLICAÇÃO: 2016, FONTE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM
INDEXADO EM: WOS DBLP
112
TÍTULO: Verified Implementations for Secure and Verifiable Computation
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLICAÇÃO: 2014, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2014
INDEXADO EM: DBLP
113
114
115
116
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
117
118
TÍTULO: Tool-assisted specification and verification of typed low-level languages  Full Text
AUTORES: Barthe, G ; Courtieu, P; Dufay, G; De Sousa, SM ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
119
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: VMCAI, VOLUME: 2294 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 17
120
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 12 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