Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Confirmed Publications: 94



71
TITLE: Type Checking Cryptography Implementations
AUTHORS: Manuel Barbosa ; Andrew Moss; Dan Page; Nuno F Rodrigues ; Paulo F Silva ;
PUBLISHED: 2011, SOURCE: FSEN, VOLUME: 7141 LNCS
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: DBLP | CIÊNCIAVITAE
72
TITLE: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-Protocols
AUTHORS: Almeida, JB ; Bangerter, E; Barbosa, M ; Krenn, S; Sadeghi, AR; Schneider, T;
PUBLISHED: 2010, SOURCE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345
INDEXED IN: Scopus WOS DBLP CrossRef: 23
IN MY: DBLP | CIÊNCIAVITAE
73
TITLE: A Deductive Verification Platform for Cryptographic Software
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 33
INDEXED IN: DBLP
IN MY: DBLP | CIÊNCIAVITAE
74
TITLE: Deductive verification of cryptographic software
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: Innov. Syst. Softw. Eng., VOLUME: 6, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP | CIÊNCIAVITAE
75
TITLE: Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles  Full Text
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: DBLP | CIÊNCIAVITAE
76
TITLE: Strong Knowledge Extractors for Public-Key Encryption Schemes  Full Text
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: DBLP | CIÊNCIAVITAE
77
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: 8
IN MY: DBLP | CIÊNCIAVITAE
78
TITLE: Deductive Verification of Cryptographic Software
AUTHORS: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLISHED: 2009, SOURCE: NASA Formal Methods
INDEXED IN: DBLP
IN MY: DBLP
79
TITLE: Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
AUTHORS: Barbosa, M ; Farshim, P;
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: DBLP | CIÊNCIAVITAE
80
TITLE: Using Compilers to Enhance Cryptographic Product Development
AUTHORS: Endre Bangerter; Manuel Barbosa ; Daniel J Bernstein; Ivan Damgård; Daniel Page; Jakob Illeborg Pagter; Ahmad Reza Sadeghi; Sampo Sovio;
PUBLISHED: 2009, SOURCE: ISSE
INDEXED IN: DBLP CrossRef: 1
IN MY: DBLP
Page 8 of 10. Total results: 94.

footer slogan

Useful Links

Get Help

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