Manuel Barbosa

Available identifiers

zbMath Open barbosa.manuelMaRDI QIDQ1673390

List of research outcomes

Publication	Date of Publication	Type
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
Practical Realisation and Elimination of an ECC-Related Software Bug Attack	2012-06-08	Paper
Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation	2012-06-08	Paper
Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles	2010-10-25	Paper
Strong Knowledge Extractors for Public-Key Encryption Schemes	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Manuel Barbosa