Concepedia

Manuel Barbosa

MB

Statistics

Publications

27

Citations

1.5K

H-Index

17

Active since

1999

Affiliations

INESC TEC(Current)

University of Minho

Universidade do Porto

IMDEA Software Institute

Max Planck Institute for Security and Privacy

Manuel Barbosa is an author at INESC TEC specializing in engineering, cryptography, and data security.

Top concepts

EngineeringCryptographyData SecurityComputer ScienceFormal MethodsInformation SecurityHardware SecurityFormal VerificationData PrivacyVerification

Publications per year

1999–2024

27

Publications

27

An overview of Controller Area Network

M. Farsi, Manuel Barbosa, K. Ratcliff · Computing & Control Engineering Journal · 1999 · 256 citations

Real-time Control, Engineering, Networked Control +12

Certificateless signcryption

Manuel Barbosa, Pooya Farshim · 2008 · 245 citations

Public Key Algorithm, Public Key Infrastructure, Engineering +9

Decentralized Privacy-Preserving Proximity Tracing

Carmela Troncoso, Mathias Payer, Jean‐Pierre Hubaux et al. · arXiv (Cornell University) · 2020 · 157 citations · Full text

Mobile Security, Engineering, Information Security +20

Verifying constant-time implementations

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe et al. · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2016 · 143 citations · Full text

SoK: Computer-Aided Cryptography

Manuel Barbosa, Gilles Barthe, Karthik Bhargavan et al. · 2021 · 106 citations

1–5 of 27