Manuel Barbosa

Available identifiers

zbMath Open barbosa.manuelMaRDI QIDQ1673390

List of research outcomes

Publication	Date of Publication	Type
Bare PAKE: universally composable key exchange from just passwords	2024-12-04	Paper
Formally verifying Kyber. Episode V: machine-checked IND-CCA security and correctness of ML-KEM in Easycrypt	2024-12-04	Paper
Fixing and mechanizing the security proof of Fiat-Shamir with aborts and Dilithium	2024-02-06	Paper
Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+}	2024-02-06	Paper
Algebraic adversaries in the universal composability framework	2023-05-12	Paper
Universally composable relaxed password authenticated key exchange	2022-11-09	Paper
Labeled homomorphic encryption. Scalable and privacy-preserving processing of outsourced data	2022-08-25	Paper
Provable security analysis of FIDO2	2022-04-22	Paper
A formal treatment of the role of verified compilers in secure computation	2022-03-09	Paper
Efficient function-hiding functional encryption: from inner-products to orthogonality	2020-01-28	Paper
Indifferentiable authenticated encryption	2018-09-12	Paper
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC	2018-05-09	Paper
Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation	2016-12-21	Paper
The Related-Key Analysis of Feistel Constructions	2015-09-18	Paper
Formal verification of side-channel countermeasures using self-composition	2014-04-02	Paper
On the Relationship between Functional Encryption, Obfuscation, and Fully Homomorphic Encryption	2014-01-17	Paper
On the Semantic Security of Functional Encryption Schemes	2013-04-19	Paper
Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation	2012-06-08	Paper
Practical Realisation and Elimination of an ECC-Related Software Bug Attack	2012-06-08	Paper
Strong Knowledge Extractors for Public-Key Encryption Schemes	2010-10-25	Paper
Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles	2010-10-25	Paper
Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps	2009-07-07	Paper
Secure Biometric Authentication with Improved Accuracy	2008-07-08	Paper
Secure Cryptographic Workflow in the Standard Model	2008-04-11	Paper
Randomness Reuse: Extensions and Improvements	2008-03-07	Paper
Cryptography and Coding	2006-11-01	Paper

Research outcomes over time

This page was built for person: Manuel Barbosa