Manuel Barbosa

According to our database1, Manuel Barbosa authored at least 69 papers between 2005 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Indifferentiable Authenticated Encryption.
IACR Cryptology ePrint Archive, 2018

Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks.
IACR Cryptology ePrint Archive, 2018

Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks.
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

Indifferentiable Authenticated Encryption.
Proceedings of the Advances in Cryptology - CRYPTO 2018, 2018

2017
Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced Data.
IACR Cryptology ePrint Archive, 2017

A Fast and Verified Software Stack for Secure Function Evaluation.
IACR Cryptology ePrint Archive, 2017

Performance trade-offs on a secure multi-party relational database.
Proceedings of the Symposium on Applied Computing, 2017

Secure Multiparty Computation from SGX.
Proceedings of the Financial Cryptography and Data Security, 2017

Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data.
Proceedings of the Computer Security - ESORICS 2017, 2017

SAFETHINGS: Data Security by Design in the IoT.
Proceedings of the 13th European Dependable Computing Conference, 2017

A Fast and Verified Software Stack for Secure Function Evaluation.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

Jasmin: High-Assurance and High-Speed Cryptography.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
Foundations of Hardware-Based Attested Computation and Application to SGX.
IACR Cryptology ePrint Archive, 2016

Secure Multiparty Computation from SGX.
IACR Cryptology ePrint Archive, 2016

Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation.
IACR Cryptology ePrint Archive, 2016

A Tool-Chain for High-Assurance Cryptographic Software.
ERCIM News, 2016

Verifying Constant-Time Implementations.
Proceedings of the 25th USENIX Security Symposium, 2016

Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation.
Proceedings of the Progress in Cryptology - INDOCRYPT 2016, 2016

Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC.
Proceedings of the Fast Software Encryption - 23rd International Conference, 2016

Foundations of Hardware-Based Attested Computation and Application to SGX.
Proceedings of the IEEE European Symposium on Security and Privacy, 2016

2015
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC.
IACR Cryptology ePrint Archive, 2015

ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data.
Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

2014
CAOVerif: An open-source deductive verification platform for cryptographic software implementations.
Sci. Comput. Program., 2014

The Related-Key Analysis of Feistel Constructions.
IACR Cryptology ePrint Archive, 2014

Verified Implementations for Secure and Verifiable Computation.
IACR Cryptology ePrint Archive, 2014

Compiling CAO: From Cryptographic Specifications to C Implementations.
Proceedings of the Principles of Security and Trust - Third International Conference, 2014

The Related-Key Analysis of Feistel Constructions.
Proceedings of the Fast Software Encryption - 21st International Workshop, 2014

2013
Formal verification of side-channel countermeasures using self-composition.
Sci. Comput. Program., 2013

Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations.
IACR Cryptology ePrint Archive, 2013

On the Semantic Security of Functional Encryption Schemes.
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.
Proceedings of the Cryptography and Coding - 14th IMA International Conference, 2013

Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations.
Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012
Semantically Secure Functional Encryption, Revisited.
IACR Cryptology ePrint Archive, 2012

On the Joint Security of Signature and Encryption Schemes under Randomness Reuse: Efficiency and Security Amplification.
IACR Cryptology ePrint Archive, 2012

Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols.
IACR Cryptology ePrint Archive, 2012

Practical Realisation and Elimination of an ECC-Related Software Bug Attack.
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.
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.
Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols.
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.
Proceedings of the Applied Cryptography and Network Security, 2012

2011
Practical realisation and elimination of an ECC-related software bug attack.
IACR Cryptology ePrint Archive, 2011

Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation.
IACR Cryptology ePrint Archive, 2011

Type Checking Cryptography Implementations.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010
Deductive verification of cryptographic software.
ISSE, 2010

A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.
IACR Cryptology ePrint Archive, 2010

A Deductive Verification Platform for Cryptographic Software.
ECEASST, 2010

A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.
Proceedings of the Computer Security, 2010

Strong Knowledge Extractors for Public-Key Encryption Schemes.
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.
Proceedings of the Information Security and Privacy - 15th Australasian Conference, 2010

2009
Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography.
J. Cryptology, 2009

Deductive Verification of Cryptographic Software.
Proceedings of the First NASA Formal Methods Symposium, 2009

Using Compilers to Enhance Cryptographic Product Development.
Proceedings of the ISSE 2009, 2009

Verifying Cryptographic Software Correctness with Respect to Reference Implementations.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps.
Proceedings of the Progress in Cryptology, 2009

2008
Certificateless Signcryption.
IACR Cryptology ePrint Archive, 2008

Secure Biometric Authentication With Improved Accuracy.
IACR Cryptology ePrint Archive, 2008

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

Secure Biometric Authentication with Improved Accuracy.
Proceedings of the Information Security and Privacy, 13th Australasian Conference, 2008

2007
Compiler Assisted Elliptic Curve Cryptography.
IACR Cryptology ePrint Archive, 2007

Compiler Assisted Elliptic Curve Cryptography.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Randomness Reuse: Extensions and Improvements.
Proceedings of the Cryptography and Coding, 2007

2006
Secure Cryptographic Workflow in the Standard Model.
IACR Cryptology ePrint Archive, 2006

Secure Cryptographic Workflow in the Standard Model.
Proceedings of the Progress in Cryptology, 2006

2005
Recursion patterns and time-analysis.
SIGPLAN Notices, 2005

On the Automatic Construction of Indistinguishable Operations.
IACR Cryptology ePrint Archive, 2005

First Steps Toward a Cryptography-Aware Language and Compiler.
IACR Cryptology ePrint Archive, 2005

Efficient Identity-Based Key Encapsulation to Multiple Parties.
IACR Cryptology ePrint Archive, 2005

On the Automatic Construction of Indistinguishable Operations.
Proceedings of the Cryptography and Coding, 2005

Efficient Identity-Based Key Encapsulation to Multiple Parties.
Proceedings of the Cryptography and Coding, 2005


  Loading...