ProfileOfResearchers

151

TITLE: Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations. efficient provably secure machine code from high-level implementations Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F;
PUBLISHED: 2013, SOURCE: 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS 2013 in Proceedings of the ACM Conference on Computer and Communications Security

INDEXED IN:

Scopus

DBLP

CrossRef: 28

IN MY:

DBLP

152

TITLE: Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2013, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2013

INDEXED IN:

DBLP

IN MY:

DBLP

153

TITLE: Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Bangerter, E; Barthe, G ; Krenn, S; Beguelin, SZ;
PUBLISHED: 2012, SOURCE: 2012 ACM Conference on Computer and Communications Security, CCS 2012 in Proceedings of the ACM Conference on Computer and Communications Security

INDEXED IN:

Scopus

DBLP

IN MY:

DBLP

154

TITLE: Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2012

INDEXED IN:

DBLP

IN MY:

DBLP

155

TITLE: Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings
AUTHORS: Gilles Barthe ;
PUBLISHED: 2011, SOURCE: ESOP, VOLUME: 6602

INDEXED IN:

DBLP

IN MY:

DBLP

156

TITLE: Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings Full Text
AUTHORS: Gilles Barthe ; Alberto Pardo; Gerardo Schneider;
PUBLISHED: 2011, SOURCE: SEFM, VOLUME: 7041

INDEXED IN:

DBLP

IN MY:

DBLP

157

TITLE: Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings
AUTHORS: Gilles Barthe ; Frank de d Boer;
PUBLISHED: 2008, SOURCE: FMOODS, VOLUME: 5051

INDEXED IN:

DBLP

IN MY:

DBLP

158

TITLE: Tool-assisted specification and verification of typed low-level languages Full Text
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simao Melo De Sousa ;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, ISSUE: 4

INDEXED IN:

Scopus

WOS

DBLP

CrossRef: 3

IN MY:

DBLP

159

TITLE: A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
AUTHORS: Gilles Barthe ; Guillaume Dufay; Line Jakubiec; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: 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

INDEXED IN:

Scopus

DBLP

CrossRef: 16

IN MY:

DBLP

160