Manuel Barbosa

Citado por

	Total	Desde 2020
Citas	3868	1974
Índice h	30	23
Índice i10	56	37

480

240

120

360

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 11 14 31 43 33 57 62 78 94 114 138 133 146 177 212 219 274 308 365 318 465 464 49

Acceso público

Ver todo

40 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoDirección de correo verificada de di.uminho.pt
Pooya FarshimIOG Research & Durham UniversityDirección de correo verificada de iohk.io
Pierre-Yves StrubResearch Scientist, PQShieldDirección de correo verificada de strub.nu
François DupressoirAssociate Professor in Cryptography, Department of Computer Science, University of BristolDirección de correo verificada de bristol.ac.uk
Bernardo PortelaINESC TEC, FCUPDirección de correo verificada de fc.up.pt
Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoDirección de correo verificada de inesctec.pt
Bogdan WarinschiUniversity of Bristol and DfinityDirección de correo verificada de cs.bris.ac.uk
Tiago OliveiraSandboxAQDirección de correo verificada de sandboxquantum.com
Daniel PageComputer Science, University of BristolDirección de correo verificada de cs.bris.ac.uk
Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoDirección de correo verificada de di.uminho.pt
Ahmad-Reza SadeghiTechnische Universität DarmstadtDirección de correo verificada de trust.tu-darmstadt.de
Vitor PereiraSRI InternationalDirección de correo verificada de sri.com
Barbara VieiraAWSDirección de correo verificada de amazon.co.uk
Guillaume ScerriMaître de conférences, Université Versailles Saint-Quentin en YvelinesDirección de correo verificada de lsv.ens-cachan.fr
Andrew MossLektor in Computer Science, Blekinge Institute of TechnologyDirección de correo verificada de bth.se
Benedikt SchmidtSnowflakeDirección de correo verificada de snowflake.com
Dario FioreAssociate Research Professor, IMDEA Software InstituteDirección de correo verificada de imdea.org
Michael EmmiAmazon Web ServicesDirección de correo verificada de amazon.com
Frederik VercauterenProfessor at Katholieke Universiteit LeuvenDirección de correo verificada de esat.kuleuven.be
Stephan KrennAIT Austrian Institute of Technology GmbHDirección de correo verificada de ait.ac.at

Seguir

Manuel Barbosa

Universidade do Porto (FCUP) and INESC TEC

Dirección de correo verificada de fc.up.pt - Página principal

Cryptography Information Security Formal Verification


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
An overview of controller area network M Farsi, K Ratcliff, M Barbosa Computing & Control Engineering Journal 10 (3), 113-120, 1999	412	1999
Certificateless signcryption M Barbosa, P Farshim Proceedings of the 2008 ACM symposium on Information, computer and …, 2008	405	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	356	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	221	2021
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	197	2017
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	145	2015
CANopen implementation: applications to industrial networks M Farsi, MBM Barbosa Research Studies Press, 2000	125	2000
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	124	2017
The last mile: High-assurance and high-speed cryptographic implementations JB Almeida, M Barbosa, G Barthe, B Grégoire, A Koutsos, V Laporte, ... 2020 IEEE Symposium on Security and Privacy (SP), 965-982, 2020	99	2020
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	90	2016
Delegatable homomorphic encryption with applications to secure outsourcing of computation M Barbosa, P Farshim Topics in Cryptology–CT-RSA 2012: The Cryptographers’ Track at the RSA …, 2012	90	2012
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC JB Almeida, M Barbosa, G Barthe, F Dupressoir Fast Software Encryption: 23rd International Conference, FSE 2016, Bochum …, 2016	84	2016
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	79	2013
A certifying compiler for zero-knowledge proofs of knowledge based on σ-protocols JB Almeida, E Bangerter, M Barbosa, S Krenn, AR Sadeghi, T Schneider Computer Security–ESORICS 2010: 15th European Symposium on Research in …, 2010	69	2010
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	64	2013
Efficient identity-based key encapsulation to multiple parties M Barbosa, P Farshim Cryptography and Coding: 10th IMA International Conference, Cirencester, UK …, 2005	64	2005
Machine-checked proofs for cryptographic standards: Indifferentiability of sponge and secure high-assurance implementations of SHA-3 JB Almeida, C Baritel-Ruet, M Barbosa, G Barthe, F Dupressoir, ... Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019	62	2019
Provable security analysis of FIDO2 M Barbosa, A Boldyreva, S Chen, B Warinschi Advances in Cryptology–CRYPTO 2021: 41st Annual International Cryptology …, 2021	60	2021
Secure biometric authentication with improved accuracy M Barbosa, T Brouard, S Cauchie, SM De Sousa Information Security and Privacy: 13th Australasian Conference, ACISP 2008 …, 2008	57	2008
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	55	2012

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores