ProfileOfResearchers

Publications
Researchers
Institutions

0
Sign In
- Federated Authentication (Click on the image)
  
  Local Sign In Password Recovery Register

Gilles Barthe

AuthID: R-00H-7MM

Publications
Confirmed
To Validate

Document Source:

Document Type:

Year Start - End:

-

Order:

Results:

Confirmed Publications: 123

111

TITLE: Verifying Constant-Time Implementations
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Emmi, M;
PUBLISHED: 2016, SOURCE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM

INDEXED IN:

WOS

DBLP

112

TITLE: Verified Implementations for Secure and Verifiable Computation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLISHED: 2014, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2014

INDEXED IN:

DBLP

113

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: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2013, SOURCE: CCS

INDEXED IN:

Scopus

DBLP

114

TITLE: Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. verifiable compilation of efficient zero-knowledge protocols Full Text
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: CCS

INDEXED IN:

Scopus

DBLP

115

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:

116

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:

117

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:

118

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

INDEXED IN:

Scopus

WOS

DBLP

119

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: VMCAI, VOLUME: 2294 LNCS

INDEXED IN:

Scopus

DBLP

120

TITLE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
AUTHORS: Gilles Barthe ; Peter Dybjer; Luis Pinto; João Saraiva ;
PUBLISHED: 2002, SOURCE: APPSEM, VOLUME: 2395

INDEXED IN:

DBLP

IN MY:

Publication Export Settings

BibTex EndNote APA CSV PDF

Export Preview

Publication Print Settings

HTML PDF

Print Preview

Page 12 of 13. Total results: 123.

<<
<
5
6
7
8
9
10
11
12
13
>
>>

Select Source

This publication has:

2 records from ISI
2 records from SCOPUS
2 records from DBLP
2 records from Unpaywall
2 records from Openlibrary
2 records from Handle
2 records from DataCite

Please select which records must be used by Authenticus!

Preview Publications

footer slogan

Useful Links

About Autenticus
Our Team
Algorithm
Changelog

Get Help

FAQ
Video
Contact
support@authenticus.pt

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service