Proceedings of the Public-Key Cryptography - PKC 2013 - 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26, 2013

On the Relationship between Functional Encryption, Obfuscation, and Fully Homomorphic Encryption.

[BibT_eX]

[DOI]

Joël Alwen

Proceedings of the Cryptography and Coding - 14th IMA International Conference, 2013

Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Semantically Secure Functional Encryption, Revisited.

[BibT_eX]

[DOI]

Manuel Barbosa

Pooya Farshim

IACR Cryptol. ePrint Arch., 2012

Practical Realisation and Elimination of an ECC-Related Software Bug Attack.

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology - CT-RSA 2012 - The Cryptographers' Track at the RSA Conference 2012, San Francisco, CA, USA, February 27, 2012

Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation.

[BibT_eX]

[DOI]

Manuel Barbosa

Pooya Farshim

Proceedings of the Topics in Cryptology - CT-RSA 2012 - The Cryptographers' Track at the RSA Conference 2012, San Francisco, CA, USA, February 27, 2012

Generically extending anonymization algorithms to deal with successive queries.

[BibT_eX]

[DOI]

Manuel Barbosa

Alexandre Pinto

Bruno Gomes

Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols.

[BibT_eX]

[DOI]

Santiago Zanella-Béguelin

Proceedings of the ACM Conference on Computer and Communications Security, 2012

On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification.

[BibT_eX]

[DOI]

Afonso Arriaga

Manuel Barbosa

Pooya Farshim

Proceedings of the Applied Cryptography and Network Security, 2012

2011

Type Checking Cryptography Implementations.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

A Deductive Verification Platform for Cryptographic Software.

[BibT_eX]

[DOI]

Manuel Barbosa

Jorge Sousa Pinto

Jean-Christophe Filliâtre

Bárbara Vieira

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2010

Strong Knowledge Extractors for Public-Key Encryption Schemes.

[BibT_eX]

[DOI]

Manuel Barbosa

Pooya Farshim

Proceedings of the Information Security and Privacy - 15th Australasian Conference, 2010

Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles.

[BibT_eX]

[DOI]

Manuel Barbosa

Pooya Farshim

Proceedings of the Information Security and Privacy - 15th Australasian Conference, 2010

2009

Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography.

[BibT_eX]

[DOI]

Manuel Barbosa

Andrew Moss

Dan Page

J. Cryptol., 2009

Deductive Verification of Cryptographic Software.

[BibT_eX]

Proceedings of the First NASA Formal Methods Symposium, 2009

Using Compilers to Enhance Cryptographic Product Development.

[BibT_eX]

[DOI]

Jakob Illeborg Pagter

Ahmad-Reza Sadeghi

Sampo Sovio

Proceedings of the ISSE 2009, 2009

Verifying Cryptographic Software Correctness with Respect to Reference Implementations.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps.

[BibT_eX]

[DOI]

Manuel Barbosa

Pooya Farshim

Proceedings of the Progress in Cryptology, 2009

2008

Certificateless signcryption.

[BibT_eX]

[DOI]

Manuel Barbosa

Pooya Farshim

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

Secure Biometric Authentication with Improved Accuracy.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy, 13th Australasian Conference, 2008

2007

Compiler Assisted Elliptic Curve Cryptography.

[BibT_eX]

[DOI]

Manuel Barbosa

Andrew Moss

Dan Page

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Randomness Reuse: Extensions and Improvements.

[BibT_eX]

[DOI]

Manuel Barbosa

Pooya Farshim

Proceedings of the Cryptography and Coding, 2007

2006

Secure Cryptographic Workflow in the Standard Model.

[BibT_eX]

[DOI]

Manuel Barbosa

Pooya Farshim

Proceedings of the Progress in Cryptology, 2006

2005

Recursion patterns and time-analysis.

[BibT_eX]

[DOI]

Manuel Barbosa

Alcino Cunha

Jorge Sousa Pinto

ACM SIGPLAN Notices, 2005

First Steps Toward a Cryptography-Aware Language and Compiler.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2005

On the Automatic Construction of Indistinguishable Operations.

[BibT_eX]

[DOI]

Manuel Barbosa

Dan Page

Proceedings of the Cryptography and Coding, 2005

Efficient Identity-Based Key Encapsulation to Multiple Parties.

[BibT_eX]

[DOI]

Manuel Barbosa

Pooya Farshim

Proceedings of the Cryptography and Coding, 2005

Manuel Barbosa

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...