Manuel Barbosa

Cited by

	All	Since 2017
Citations	2597	1420
h-index	25	19
i10-index	44	30

360

180

270

20022003200420052006200720082009201020112012201320142015201620172018201920202021202211 11 13 31 42 35 53 66 75 96 103 139 134 150 176 205 213 265 294 358 82

Public access

View all

26 articles

0 articles

available

not available

Based on funding mandates

Co-authors

José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt
Pooya FarshimDurham UniversityVerified email at durham.ac.uk
Bernardo PortelaINESC TEC, FCUPVerified email at fc.up.pt
François DupressoirSenior Lecturer in Cryptography, Department of Computer Science, University of BristolVerified email at bristol.ac.uk
Pierre-Yves StrubMaître de Conférence, CS, École PolytechniqueVerified email at strub.nu
Dan PageComputer Science, University of BristolVerified email at cs.bris.ac.uk
Bogdan WarinschiUniversity of Bristol and DfinityVerified email at cs.bris.ac.uk
Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoVerified email at di.uminho.pt
Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoVerified email at inesctec.pt
Ahmad-Reza SadeghiTechnische Universität DarmstadtVerified email at trust.tu-darmstadt.de
Barbara VieiraVerified email at tomtom.com
Tiago OliveiraMPI-SP and Universidade do Porto (FCUP)Verified email at mpi-sp.org
Guillaume ScerriMaître de conférences, Université Versailles Saint-Quentin en YvelinesVerified email at lsv.ens-cachan.fr
Andrew MossLektor in Computer Science, Blekinge Institute of TechnologyVerified email at bth.se
Dario FioreAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Stephan KrennAIT Austrian Institute of Technology GmbHVerified email at ait.ac.at
Michael EmmiAmazon Web ServicesVerified email at amazon.com
Frederik VercauterenProfessor at Katholieke Universiteit LeuvenVerified email at esat.kuleuven.be
Paulo F. SilvaPost-Doc, HASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland

Manuel Barbosa

Universidade do Porto (FCUP) and INESC TEC

Verified email at fc.up.pt - Homepage

Cryptography Information Security Formal Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An overview of controller area network M Farsi, K Ratcliff, M Barbosa Computing & Control Engineering Journal 10 (3), 113-120, 1999	354	1999
Certificateless signcryption M Barbosa, P Farshim Proceedings of the 2008 ACM symposium on Information, computer and …, 2008	320	2008
Verifying {Constant-Time} Implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi 25th USENIX security symposium (USENIX security 16), 53-70, 2016	230	2016
CANopen implementation: applications to industrial networks M Farsi, MBM Barbosa Research Studies Press, 2000	120	2000
ADSNARK: nearly practical and privacy-preserving proofs on authenticated data M Backes, M Barbosa, D Fiore, RM Reischuk 2015 IEEE Symposium on Security and Privacy, 271-286, 2015	110	2015
Jasmin: High-assurance and high-speed cryptography JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, ... Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017	96	2017
Delegatable homomorphic encryption with applications to secure outsourcing of computation M Barbosa, P Farshim Cryptographers’ Track at the RSA Conference, 296-312, 2012	79	2012
Secure multiparty computation from SGX R Bahmani, M Barbosa, F Brasser, B Portela, AR Sadeghi, G Scerri, ... International Conference on Financial Cryptography and Data Security, 477-497, 2017	75	2017
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC JB Almeida, M Barbosa, G Barthe, F Dupressoir International Conference on Fast Software Encryption, 163-184, 2016	64	2016
SoK: Computer-aided cryptography M Barbosa, G Barthe, K Bhargavan, B Blanchet, C Cremers, K Liao, ... 2021 IEEE Symposium on Security and Privacy (SP), 777-795, 2021	63	2021
Foundations of hardware-based attested computation and application to SGX M Barbosa, B Portela, G Scerri, B Warinschi 2016 IEEE European Symposium on Security and Privacy (EuroS&P), 245-260, 2016	63	2016
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013	63	2013
Efficient identity-based key encapsulation to multiple parties M Barbosa, P Farshim IMA International Conference on Cryptography and Coding, 428-441, 2005	62	2005
A certifying compiler for zero-knowledge proofs of knowledge based on σ-protocols JB Almeida, E Bangerter, M Barbosa, S Krenn, AR Sadeghi, T Schneider European Symposium on Research in Computer Security, 151-167, 2010	61	2010
Formal verification of side-channel countermeasures using self-composition JB Almeida, M Barbosa, JS Pinto, B Vieira Science of Computer Programming 78 (7), 796-812, 2013	60	2013
Secure biometric authentication with improved accuracy M Barbosa, T Brouard, S Cauchie, SM Sousa Australasian Conference on Information Security and Privacy, 21-36, 2008	49	2008
Practical realisation and elimination of an ECC-related software bug attack BB Brumley, M Barbosa, D Page, F Vercauteren Cryptographers’ Track at the RSA Conference, 171-186, 2012	47	2012
Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols J Bacelar Almeida, M Barbosa, E Bangerter, G Barthe, S Krenn, ... Proceedings of the 2012 ACM conference on Computer and communications …, 2012	46	2012
On the relationship between functional encryption, obfuscation, and fully homomorphic encryption J Alwen, M Barbosa, P Farshim, R Gennaro, SD Gordon, S Tessaro, ... IMA International Conference on Cryptography and Coding, 65-84, 2013	41	2013
An introduction to CANopen M Farsi, K Ratcliff, M Barbosa Computing & Control Engineering Journal 10 (4), 161-168, 1999	40	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors