Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Manuel Bernardo Martins Barbosa
AuthID:
R-000-A22
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (56)
Article (34)
Unpublished (15)
Article in Press (5)
Year Start - End:
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 110
81
TITLE:
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTHORS:
Jose Bacelar Almeida
;
Endre Bangerter
;
Manuel Barbosa
; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED:
2010
,
SOURCE:
15th European Symposium on Research in Computer Security
in
COMPUTER SECURITY-ESORICS 2010,
VOLUME:
6345
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
20
IN MY:
ORCID
|
ResearcherID
|
DBLP
82
TITLE:
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTHORS:
José Bacelar Almeida
;
Endre Bangerter
;
Manuel Barbosa
; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED:
2010
,
SOURCE:
IACR Cryptology ePrint Archive,
VOLUME:
2010
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
83
TITLE:
A Deductive Verification Platform for Cryptographic Software
AUTHORS:
Manuel Barbosa
;
Jorge Sousa Pinto
; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED:
2010
,
SOURCE:
ECEASST,
VOLUME:
33
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
84
TITLE:
Deductive verification of cryptographic software
Full Text
AUTHORS:
Almeida, JB
;
Barbosa, M
;
Pinto, JS
; Vieira, B;
PUBLISHED:
2010
,
SOURCE:
Innovations in Systems and Software Engineering,
VOLUME:
6,
ISSUE:
3
INDEXED IN:
Scopus
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
85
TITLE:
Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles
Full Text
AUTHORS:
Manuel Barbosa
;
Pooya Farshim
;
PUBLISHED:
2010
,
SOURCE:
15th Australasian conference, ACISP 2010
in
INFORMATION SECURITY AND PRIVACY,
VOLUME:
6168
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
7
IN MY:
ORCID
|
ResearcherID
|
DBLP
86
TITLE:
Strong Knowledge Extractors for Public-Key Encryption Schemes
Full Text
AUTHORS:
Manuel Barbosa
;
Pooya Farshim
;
PUBLISHED:
2010
,
SOURCE:
15th Australasian conference, ACISP 2010
in
INFORMATION SECURITY AND PRIVACY,
VOLUME:
6168
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
3
IN MY:
ORCID
|
ResearcherID
|
DBLP
87
TITLE:
Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography
Full Text
AUTHORS:
Barbosa, M
; Moss, A; Page, D;
PUBLISHED:
2009
,
SOURCE:
JOURNAL OF CRYPTOLOGY,
VOLUME:
22,
ISSUE:
2
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
7
IN MY:
ORCID
|
ResearcherID
|
DBLP
88
TITLE:
Deductive Verification of Cryptographic Software
AUTHORS:
Manuel Barbosa
;
José Bacelar Almeida
;
Jorge Sousa Pinto
; Bárbara Vieira;
PUBLISHED:
2009
,
SOURCE:
First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.,
VOLUME:
NASA/CP-2009-215407
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
89
TITLE:
Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
AUTHORS:
Manuel Barbosa
;
Pooya Farshim
;
PUBLISHED:
2009
,
SOURCE:
2nd International Conference on Cryptology in Africa
in
PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2009,
VOLUME:
5580
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
5
IN MY:
ORCID
|
ResearcherID
|
DBLP
90
TITLE:
Using Compilers to Enhance Cryptographic Product Development
AUTHORS:
Endre Bangerter
;
Manuel Barbosa
; Bernstein, D;
Ivan Damgård
; Daniel Page; Jakob Illeborg Pagter; Ahmad Reza Sadeghi; Sovio, S;
PUBLISHED:
2009
,
SOURCE:
ISSE 2009 - Securing Electronic Business Processes, Highlights of the Information Security Solutions Europe 2009 Conference, The Hague, The Netherlands, October 6-8, 2009
INDEXED IN:
DBLP
CrossRef
:
1
IN MY:
ORCID
|
DBLP
Add to Marked List
Check All
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Page 9 of 11. Total results: 110.
<<
<
3
4
5
6
7
8
9
10
11
>
>>
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service