Manuel Barbosa

Citée par

	Toutes	Depuis 2018
Citations	3244	1865
indice h	28	21
indice i10	53	37

400

200

100

300

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 12 14 29 43 35 54 62 78 95 111 139 132 146 175 200 219 271 298 363 313 398

Accès public

Tout afficher

32 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoAdresse e-mail validée de di.uminho.pt
Pooya FarshimIOHK Research & Durham UniversityAdresse e-mail validée de durham.ac.uk
Pierre-Yves StrubResearch Scientist, PQShieldAdresse e-mail validée de strub.nu
Bernardo PortelaINESC TEC, FCUPAdresse e-mail validée de fc.up.pt
François DupressoirSenior Lecturer in Cryptography, Department of Computer Science, University of BristolAdresse e-mail validée de bristol.ac.uk
Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoAdresse e-mail validée de inesctec.pt
Dan PageComputer Science, University of BristolAdresse e-mail validée de cs.bris.ac.uk
Bogdan WarinschiUniversity of Bristol and DfinityAdresse e-mail validée de cs.bris.ac.uk
Tiago OliveiraMax Planck Institute for Security and Privacy (MPI-SP)Adresse e-mail validée de mpi-sp.org
Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoAdresse e-mail validée de di.uminho.pt
Ahmad-Reza SadeghiTechnische Universität DarmstadtAdresse e-mail validée de trust.tu-darmstadt.de
Barbara VieiraAWSAdresse e-mail validée de amazon.co.uk
Vitor PereiraSRI InternationalAdresse e-mail validée de sri.com
Guillaume ScerriMaître de conférences, Université Versailles Saint-Quentin en YvelinesAdresse e-mail validée de lsv.ens-cachan.fr
Andrew MossLektor in Computer Science, Blekinge Institute of TechnologyAdresse e-mail validée de bth.se
Dario FioreAssociate Research Professor, IMDEA Software InstituteAdresse e-mail validée de imdea.org
Michael EmmiAmazon Web ServicesAdresse e-mail validée de amazon.com
Stephan KrennAIT Austrian Institute of Technology GmbHAdresse e-mail validée de ait.ac.at
Paulo F. SilvaPost-Doc, HASLab / INESC TEC, Universidade do MinhoAdresse e-mail validée de di.uminho.pt
Benedikt SchmidtSnowflakeAdresse e-mail validée de snowflake.com

Suivre

Manuel Barbosa

Universidade do Porto (FCUP) and INESC TEC

Adresse e-mail validée de fc.up.pt - Page d'accueil

Cryptography Information Security Formal Verification


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
An overview of controller area network M Farsi, K Ratcliff, M Barbosa Computing & Control Engineering Journal 10 (3), 113-120, 1999	376	1999
Certificateless signcryption M Barbosa, P Farshim Proceedings of the 2008 ACM symposium on Information, computer and …, 2008	368	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	301	2016
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	156	2017
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	144	2021
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	132	2015
CANopen implementation: applications to industrial networks M Farsi, MBM Barbosa Research Studies Press, 2000	121	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	99	2017
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	87	2012
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	77	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	74	2013
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	72	2016
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	68	2020
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	64	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	63	2013
Efficient identity-based key encapsulation to multiple parties M Barbosa, P Farshim Cryptography and Coding: 10th IMA International Conference, Cirencester, UK …, 2005	63	2005
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	55	2008
Practical realisation and elimination of an ECC-related software bug attack BB Brumley, M Barbosa, D Page, F Vercauteren Topics in Cryptology–CT-RSA 2012: The Cryptographers’ Track at the RSA …, 2012	52	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	50	2012
On the relationship between functional encryption, obfuscation, and fully homomorphic encryption J Alwen, M Barbosa, P Farshim, R Gennaro, SD Gordon, S Tessaro, ... Cryptography and Coding: 14th IMA International Conference, IMACC 2013 …, 2013	44	2013

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs