Manuel Barbosa

International Association for Cryptologic Research

Manuel Barbosa Search web for home page

	year	title	booktitle	pages
1	2010	A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on $\Sigma$-Protocols	eprint	online
2	2009	Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography	jofc	259-281
3	2008	Secure Biometric Authentication With Improved Accuracy	eprint	online
4	2008	Certificateless Signcryption	eprint	online
5	2007	Compiler Assisted Elliptic Curve Cryptography	eprint	online
6	2006	Secure Cryptographic Workflow in the Standard Model	eprint	online
7	2005	Efficient Identity-Based Key Encapsulation to Multiple Parties	eprint	online
8	2005	First Steps Toward a Cryptography-Aware Language and Compiler	eprint	online
9	2005	On the Automatic Construction of Indistinguishable Operations	eprint	online