Manuel Barbosa

发表

Certificateless signcryption

Manuel Barbosa, Pooya Farshim, M. Barbosa, 2008, ASIACCS '08.

A Deductive Verification Platform for Cryptographic Software

Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, 2010 .

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

Gilles Barthe, Santiago Zanella Béguelin, Manuel Barbosa, 2012, IACR Cryptol. ePrint Arch..

Secure Biometric Authentication with Improved Accuracy

Manuel Barbosa, Simão Melo de Sousa, Thierry Brouard, 2008, ACISP.

An overview of controller area network

Manuel Barbosa, M. Farsi, K. Ratcliff, 1999 .

Compiling CAO: From Cryptographic Specifications to C Implementations

Manuel Barbosa, Paulo F. Silva, David Castro, 2014, POST.

Semantically Secure Functional Encryption, Revisited

Manuel Barbosa, Pooya Farshim, 2012, IACR Cryptol. ePrint Arch..

SAFETHINGS: Data Security by Design in the IoT

Valerio Schiavoni, Pascal Felber, Manuel Barbosa, 2017, 2017 13th European Dependable Computing Conference (EDCC).

Segurança criptográfica no armazenamento e partilha de dados em ambientes cloud

Manuel Barbosa, Bernardo Portela, B. Portela, 2013 .

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

Ahmad-Reza Sadeghi, Manuel Barbosa, Stephan Krenn, 2010, IACR Cryptol. ePrint Arch..

A Novel Concept of CNC Machining Center Automatic Feeder

Francisco Silva, Manuel Barbosa, Francisco J. G. Silva, 2018 .

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

Frederik Vercauteren, Billy Bob Brumley, Manuel Barbosa, 2012, CT-RSA.

Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification

Manuel Barbosa, Vincent Laporte, José Bacelar Almeida, 2020, INDOCRYPT.

Verifying Constant-Time Implementations

Gilles Barthe, Manuel Barbosa, François Dupressoir, 2016, USENIX Security Symposium.

Using Compilers to Enhance Cryptographic Product Development

Ivan Damgård, Ahmad-Reza Sadeghi, Manuel Barbosa, 2009, ISSE.

Performance trade-offs on a secure multi-party relational database

Manuel Barbosa, Mário Pinto, Miguel Matos, 2017, SAC.

Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography

Manuel Barbosa, Dan Page, Andrew Moss, 2009, Journal of Cryptology.

Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps

Manuel Barbosa, Pooya Farshim, 2009, AFRICACRYPT.

Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3

Pierre-Yves Strub, Alley Stoughton, Manuel Barbosa, 2019, CCS.

First Steps Toward a Cryptography-Aware Language and Compiler

Manuel Barbosa, Nigel P. Smart, Dan Page, 2005, IACR Cryptol. ePrint Arch..

Clip for use in a disc brake device and brake disc device having such a bracket

Manuel Barbosa, Chad Brizendine, Kraig E. Gerber, 2014 .

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

Stefano Tessaro, Rosario Gennaro, Manuel Barbosa, 2013, IMACC.

Verified Implementations for Secure and Verifiable Computation

Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2014, IACR Cryptol. ePrint Arch..

Machine-Checked Proofs for Cryptographic Standards

Pierre-Yves Strub, Alley Stoughton, Manuel Barbosa, 2019, IACR Cryptol. ePrint Arch..

Secure Cryptographic Workflow in the Standard Model

Manuel Barbosa, Pooya Farshim, M. Barbosa, 2006, IACR Cryptol. ePrint Arch..

Manuel Barbosa, Pooya Farshim, M. Barbosa, 2014, IACR Cryptol. ePrint Arch..

Foundations of Hardware-Based Attested Computation and Application to SGX

Bogdan Warinschi, Manuel Barbosa, Guillaume Scerri, 2016, 2016 IEEE European Symposium on Security and Privacy (EuroS&P).

A Fast and Verified Software Stack for Secure Function Evaluation

Benjamin Grégoire, Gilles Barthe, Manuel Barbosa, 2017, IACR Cryptol. ePrint Arch..

Identity Based Cryptography From Bilinear Pairings

Manuel Barbosa, 2005 .

Compiler Assisted Elliptic Curve Cryptography

Manuel Barbosa, Dan Page, Andrew Moss, 2007, IACR Cryptol. ePrint Arch..

An introduction to CANopen

Manuel Barbosa, K. Ratcliff, M. Farsi, 1999 .

Strong Knowledge Extractors for Public-Key Encryption Schemes

Manuel Barbosa, Pooya Farshim, M. Barbosa, 2010, ACISP.

Universally Composable Relaxed Password Authenticated Key Exchange

Stanislaw Jarecki, Manuel Barbosa, Jiayu Xu, 2020, IACR Cryptol. ePrint Arch..

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

Manuel Barbosa, Pooya Farshim, Afonso Arriaga, 2012, ACNS.

Indifferentiable Authenticated Encryption

Manuel Barbosa, Pooya Farshim, 2018, IACR Cryptol. ePrint Arch..

Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks

Gilles Barthe, Manuel Barbosa, José Bacelar Almeida, 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).

Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data

Manuel Barbosa, Dario Fiore, Dario Catalano, 2017, ESORICS.

Deductive verification of cryptographic software

Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira, 2010, Innovations in Systems and Software Engineering.

Secure Conflict-free Replicated Data Types

Nuno Preguiça, Manuel Barbosa, Nuno M. Preguiça, 2020, IACR Cryptol. ePrint Arch..

Information Security - IS 2007

Manuel Barbosa, Daniel Page, Andrew Moss, 2007 .

A Machine-Checked Proof of Security for AWS Key Management Service

Pierre-Yves Strub, Manuel Barbosa, José Bacelar Almeida, 2019, IACR Cryptol. ePrint Arch..

Type Checking Cryptography Implementations

Manuel Barbosa, Dan Page, Paulo F. Silva, 2011, FSEN.

A Deductive Verification Platform for Cryptographic Software

Jean-Christophe Filliâtre, Manuel Barbosa, Jorge Sousa Pinto, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Perfect Forward Security of SPAKE2

Manuel Barbosa, Michel Abdalla, Michel Abdalla, 2019, IACR Cryptol. ePrint Arch..

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

Gilles Barthe, Manuel Barbosa, François Dupressoir, 2013, IACR Cryptol. ePrint Arch..

SoK: Computer-Aided Cryptography

Bryan Parno, Manuel Barbosa, Bruno Blanchet, 2021, 2021 IEEE Symposium on Security and Privacy (SP).

Randomness Reuse: Extensions and Improvements

Manuel Barbosa, Pooya Farshim, M. Barbosa, 2007, IMACC.

Provable Security Analysis of FIDO2

Bogdan Warinschi, Manuel Barbosa, Alexandra Boldyreva, 2020, IACR Cryptol. ePrint Arch..

A model-based approach to the development of distributed control systems

Manuel Barbosa, João M. Fernandes, 2004 .

Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality

Bogdan Warinschi, Manuel Barbosa, Dario Catalano, 2019, CT-RSA.

Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation

Manuel Barbosa, Pooya Farshim, Afonso Arriaga, 2016, INDOCRYPT.

Decentralized Privacy-Preserving Proximity Tracing

Carmela Troncoso, Ciro Cattuto, Rui Oliveira, 2020, IEEE Data Eng. Bull..

Fundamentals of Software Engineering - FSEN 2011

Manuel Barbosa, Nuno F. Rodrigues, Daniel Page, 2011 .

Jasmin: High-Assurance and High-Speed Cryptography

Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2017, CCS.

CANopen Implementation: Application to Industrial Networks

Manuel Barbosa, Manuel Barbosa, Farsi, 2000 .

Formal verification of side-channel countermeasures using self-composition

Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira, 2013, Sci. Comput. Program..

Canopen: Implementation Made Simple

Manuel Barbosa, Mohammad Farsi, 1999 .

A Tool-Chain for High-Assurance Cryptographic Software

Manuel Barbosa, José Bacelar Almeida, Hugo Pacheco, 2016, ERCIM News.

Financial Cryptography and Data Security 2017

Ahmad-Reza Sadeghi, Bogdan Warinschi, Manuel Barbosa, 2017, FC 2017.

Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation

Manuel Barbosa, Pooya Farshim, 2012, CT-RSA.

Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC

Gilles Barthe, Manuel Barbosa, François Dupressoir, 2016, IACR Cryptol. ePrint Arch..

Secure Multiparty Computation from SGX

Ahmad-Reza Sadeghi, Bogdan Warinschi, Manuel Barbosa, 2017, Financial Cryptography.

ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data

Michael Backes, Manuel Barbosa, Dario Fiore, 2015, 2015 IEEE Symposium on Security and Privacy.

Generically extending anonymization algorithms to deal with successive queries

Bruno Gomes, Manuel Barbosa, Alexandre Pinto, 2012, CIKM.

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

Manuel Barbosa, Pooya Farshim, M. Barbosa, 2010, ACISP.

Language Based Security For Cryptographic Software

Manuel Barbosa, Manuel Alcino Cunha, 2008 .

Topics in Cryptology - CT-RSA 2012

Frederik Vercauteren, Billy Bob Brumley, Manuel Barbosa, 2012 .

Verifying Cryptographic Software Correctness with Respect to Reference Implementations

Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira, 2009, FMICS.

The Last Mile: High-Assurance and High-Speed Cryptographic Implementations

Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2019, 2020 IEEE Symposium on Security and Privacy (SP).

Recursion patterns and time-analysis

Manuel Barbosa, Jorge Sousa Pinto, Alcino Cunha, 2005, SIGP.

CAOVerif: An open-source deductive verification platform for cryptographic software implementations

Manuel Barbosa, Jean-Christophe Filliâtre, Bárbara Vieira, 2014, Sci. Comput. Program..

On the Automatic Construction of Indistinguishable Operations

Manuel Barbosa, Dan Page, M. Barbosa, 2005, IACR Cryptol. ePrint Arch..

On the Semantic Security of Functional Encryption Schemes

Manuel Barbosa, Pooya Farshim, M. Barbosa, 2013, Public Key Cryptography.

Efficient Identity-Based Key Encapsulation to Multiple Parties

Manuel Barbosa, Pooya Farshim, M. Barbosa, 2005, IMACC.

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

Stefano Tessaro, Rosario Gennaro, Manuel Barbosa, 2013, IMACC.

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability

Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2021, IACR Cryptol. ePrint Arch..

Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head

Manuel Barbosa, Stéphane Lengrand, Karim M. El Defrawy, 2021, IACR Cryptol. ePrint Arch..

Algebraic Adversaries in the Universal Composability Framework

Jonathan Katz, Manuel Barbosa, Jiayu Xu, 2021, IACR Cryptol. ePrint Arch..

CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes

Manuel Barbosa, Bernardo Portela, Ricardo Vilaça, 2021, 2021 40th International Symposium on Reliable Distributed Systems (SRDS).

EasyPQC: Verifying Post-Quantum Cryptography

Jonathan Katz, Benjamin Grégoire, Gilles Barthe, 2021, IACR Cryptol. ePrint Arch..

Security Characterization of J-PAKE and its Variants

Peter Y. A. Ryan, Manuel Barbosa, Peter B. Rønne, 2021, IACR Cryptol. ePrint Arch..