Search the dblp DataBase

Publications of Author

1. Manuel Barbosa, P. Farshim
   Efficient Identity-Based Key Encapsulation to Multiple Parties. [Citation Graph (0, 0)][DBLP]
   IMA Int. Conf., 2005, pp:428-441 [Conf]
   
2. Manuel Barbosa, Dan Page
   On the Automatic Construction of Indistinguishable Operations. [Citation Graph (0, 0)][DBLP]
   IMA Int. Conf., 2005, pp:233-247 [Conf]
   
3. Manuel Barbosa, P. Farshim
   Secure Cryptographic Workflow in the Standard Model. [Citation Graph (0, 0)][DBLP]
   INDOCRYPT, 2006, pp:379-393 [Conf]
   
4. Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto
   Recursion patterns and time-analysis. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Notices, 2005, v:40, n:5, pp:45-54 [Journal]
   
5. Manuel Barbosa, A. Moss, Dan Page
   Compiler Assisted Elliptic Curve Cryptography. [Citation Graph (0, 0)][DBLP]
   OTM Conferences (2), 2007, pp:1785-1802 [Conf]
   
6. 
   Secure Biometric Authentication with Improved Accuracy. [Citation Graph (, )][DBLP]
   
   
7. 
   Certificateless signcryption. [Citation Graph (, )][DBLP]
   
   
8. 
   A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. [Citation Graph (, )][DBLP]
   
   
9. 
   Randomness Reuse: Extensions and Improvements. [Citation Graph (, )][DBLP]
   
   
10. 
    Verifying Cryptographic Software Correctness with Respect to Reference Implementations. [Citation Graph (, )][DBLP]
    
    
11. 
    Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps. [Citation Graph (, )][DBLP]