Manuel Barbosa

	2012
29		Billy Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren: Practical Realisation and Elimination of an ECC-Related Software Bug Attack. CT-RSA 2012: 171-186
28		Manuel Barbosa, Pooya Farshim: Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation. CT-RSA 2012: 296-312
	2011
27		Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva: Type Checking Cryptography Implementations. FSEN 2011: 316-334
26		Manuel Barbosa, Pooya Farshim: Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation. IACR Cryptology ePrint Archive 2011: 215 (2011)
25		Billy Bob Brumley, Manuel Barbosa, Dan Page, Frederik Vercauteren: Practical realisation and elimination of an ECC-related software bug attack. IACR Cryptology ePrint Archive 2011: 633 (2011)
	2010
24		Manuel Barbosa, Pooya Farshim: Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles. ACISP 2010: 145-163
23		Manuel Barbosa, Pooya Farshim: Strong Knowledge Extractors for Public-Key Encryption Schemes. ACISP 2010: 164-181
22		José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. ESORICS 2010: 151-167
21		Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira: A Deductive Verification Platform for Cryptographic Software. ECEASST 33: (2010)
20		José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. IACR Cryptology ePrint Archive 2010: 339 (2010)
19		José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira: Deductive verification of cryptographic software. ISSE 6(3): 203-218 (2010)
	2009
18		Manuel Barbosa, Pooya Farshim: Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps. AFRICACRYPT 2009: 235-253
17		José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira: Verifying Cryptographic Software Correctness with Respect to Reference Implementations. FMICS 2009: 37-52
16		Manuel Barbosa, Andrew Moss, Dan Page: Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography. J. Cryptology 22(2): 259-281 (2009)
	2008
15		Manuel Barbosa, Thierry Brouard, Stéphane Cauchie, Simão Melo de Sousa: Secure Biometric Authentication with Improved Accuracy. ACISP 2008: 21-36
14		Manuel Barbosa, Pooya Farshim: Certificateless signcryption. ASIACCS 2008: 369-372
13		Manuel Barbosa, Pooya Farshim: Certificateless Signcryption. IACR Cryptology ePrint Archive 2008: 143 (2008)
12		Manuel Barbosa, Stéphane Cauchie, Thierry Brouard, Simão Melo de Sousa: Secure Biometric Authentication With Improved Accuracy. IACR Cryptology ePrint Archive 2008: 302 (2008)
	2007
11		Manuel Barbosa, Pooya Farshim: Randomness Reuse: Extensions and Improvements. IMA Int. Conf. 2007: 257-276
10		Manuel Barbosa, Andrew Moss, Dan Page: Compiler Assisted Elliptic Curve Cryptography. OTM Conferences (2) 2007: 1785-1802
9		Manuel Barbosa, Andrew Moss, Dan Page: Compiler Assisted Elliptic Curve Cryptography. IACR Cryptology ePrint Archive 2007: 53 (2007)
	2006
8		Manuel Barbosa, Pooya Farshim: Secure Cryptographic Workflow in the Standard Model. INDOCRYPT 2006: 379-393
7		Manuel Barbosa, Pooya Farshim: Secure Cryptographic Workflow in the Standard Model. IACR Cryptology ePrint Archive 2006: 450 (2006)
	2005
6		Manuel Barbosa, Dan Page: On the Automatic Construction of Indistinguishable Operations. IMA Int. Conf. 2005: 233-247
5		Manuel Barbosa, Pooya Farshim: Efficient Identity-Based Key Encapsulation to Multiple Parties. IMA Int. Conf. 2005: 428-441
4		Manuel Barbosa, Richard Noad, Daniel Page, Nigel P. Smart: First Steps Toward a Cryptography-Aware Language and Compiler. IACR Cryptology ePrint Archive 2005: 160 (2005)
3		Manuel Barbosa, Dan Page: On the Automatic Construction of Indistinguishable Operations. IACR Cryptology ePrint Archive 2005: 174 (2005)
2		Manuel Barbosa, Pooya Farshim: Efficient Identity-Based Key Encapsulation to Multiple Parties. IACR Cryptology ePrint Archive 2005: 217 (2005)
1		Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto: Recursion patterns and time-analysis. SIGPLAN Notices 40(5): 45-54 (2005)

Coauthor Index

1	José Bacelar Almeida	[17] [19] [20] [22]
2	Endre Bangerter	[20] [22]
3	Thierry Brouard	[12] [15]
4	Billy Bob Brumley	[25] [29]
5	Stéphane Cauchie	[12] [15]
6	Alcino Cunha	[1]
7	Pooya Farshim	[2] [5] [7] [8] [11] [13] [14] [18] [23] [24] [26] [28]
8	Jean-Christophe Filliâtre	[21]
9	Stephan Krenn	[20] [22]
10	Andrew Moss	[9] [10] [16] [27]
11	Richard Noad	[4]
12	Dan Page (Daniel Page)	[3] [4] [6] [9] [10] [16] [25] [27] [29]
13	Jorge Sousa Pinto	[1] [17] [19] [21]
14	Nuno F. Rodrigues	[27]
15	Ahmad-Reza Sadeghi	[20] [22]
16	Thomas Schneider	[20] [22]
17	Paulo F. Silva	[27]
18	Nigel P. Smart	[4]
19	Simão Melo de Sousa	[12] [15]
20	Frederik Vercauteren	[25] [29]
21	Bárbara Vieira	[17] [19] [21]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page