Manuel Bernardo Martins Barbosa


AuthID: R-000-A22

Confirmed Publications: 94



81
TITLE: Verifying Cryptographic Software Correctness with Respect to Reference Implementations  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLISHED: 2009, SOURCE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP | CIÊNCIAVITAE
82
TITLE: Certificateless signcryption
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2008, SOURCE: AsiaCCS
INDEXED IN: Scopus DBLP CrossRef: 180
IN MY: DBLP | CIÊNCIAVITAE
83
TITLE: Secure biometric authentication with improved accuracy  Full Text
AUTHORS: Barbosa, M ; Brouard, T; Cauchie, S; de Sousa, SM ;
PUBLISHED: 2008, SOURCE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107
INDEXED IN: Scopus WOS DBLP CrossRef: 25 Handle
IN MY: CIÊNCIAVITAE
84
TITLE: Compiler assisted elliptic curve cryptography
AUTHORS: Barbosa, M ; Moss, A; Page, D;
PUBLISHED: 2007, SOURCE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPIS, DOA, ODBASE, GADA, AND IS, PT 2, PROCEEDINGS, VOLUME: 4804, ISSUE: PART 2
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP | CIÊNCIAVITAE
85
TITLE: Randomness reuse: Extensions and improvements
AUTHORS: Barbosal, M ; Farshim, P;
PUBLISHED: 2007, SOURCE: 11th IMA Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 4887
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: DBLP | CIÊNCIAVITAE
86
TITLE: Secure cryptographic workflow in the standard model
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2006, SOURCE: 7th International Conference on Cryptology in India in PROGRESS IN CRYPTOLOGY - INDOCRYPT 2006, PROCEEDINGS, VOLUME: 4329
INDEXED IN: WOS DBLP CrossRef: 9
IN MY: DBLP | CIÊNCIAVITAE
87
TITLE: Efficient identity-based key encapsulation to multiple parties
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796
INDEXED IN: Scopus WOS DBLP CrossRef: 21
IN MY: DBLP | CIÊNCIAVITAE
88
TITLE: First Steps Toward a Cryptography-Aware Language and Compiler
AUTHORS: Manuel Barbosa ; Richard Noad; Daniel Page; Nigel P Smart;
PUBLISHED: 2005, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2005
INDEXED IN: DBLP
IN MY: DBLP
89
TITLE: On the automatic construction of indistinguishable operations
AUTHORS: Barbosa, M ; Page, D;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: DBLP | CIÊNCIAVITAE
90
TITLE: Recursion patterns and time-analysis
AUTHORS: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 40, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP | CIÊNCIAVITAE
Page 9 of 10. Total results: 94.

footer slogan

Useful Links

Get Help

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