 | 2009 |
|---|
| 11 |       | Manuel Barbosa,
Pooya Farshim:
Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps.
AFRICACRYPT 2009: 235-253 |
| 10 | | José Bacelar Almeida,
Manuel Barbosa,
Jorge Sousa Pinto,
Bárbara Vieira:
Verifying Cryptographic Software Correctness with Respect to Reference Implementations.
FMICS 2009: 37-52 |
| 9 | | Manuel Barbosa,
Andrew Moss,
Dan Page:
Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography.
J. Cryptology 22(2): 259-281 (2009) |
| 2008 |
|---|
| 8 | | Manuel Barbosa,
Thierry Brouard,
Stéphane Cauchie,
Simão Melo de Sousa:
Secure Biometric Authentication with Improved Accuracy.
ACISP 2008: 21-36 |
| 7 | | Manuel Barbosa,
Pooya Farshim:
Certificateless signcryption.
ASIACCS 2008: 369-372 |
| 2007 |
|---|
| 6 | | Manuel Barbosa,
Pooya Farshim:
Randomness Reuse: Extensions and Improvements.
IMA Int. Conf. 2007: 257-276 |
| 5 | | Manuel Barbosa,
Andrew Moss,
Dan Page:
Compiler Assisted Elliptic Curve Cryptography.
OTM Conferences (2) 2007: 1785-1802 |
| 2006 |
|---|
| 4 | | Manuel Barbosa,
Pooya Farshim:
Secure Cryptographic Workflow in the Standard Model.
INDOCRYPT 2006: 379-393 |
| 2005 |
|---|
| 3 | | Manuel Barbosa,
Dan Page:
On the Automatic Construction of Indistinguishable Operations.
IMA Int. Conf. 2005: 233-247 |
| 2 | | Manuel Barbosa,
Pooya Farshim:
Efficient Identity-Based Key Encapsulation to Multiple Parties.
IMA Int. Conf. 2005: 428-441 |
| 1 | | Manuel Barbosa,
Alcino Cunha,
Jorge Sousa Pinto:
Recursion patterns and time-analysis.
SIGPLAN Notices 40(5): 45-54 (2005) |
