Manuel Barbosa

Dikutip oleh

	Semua	Sejak 2020
Kutipan	3921	2041
indeks-h	31	23
indeks-i10	56	38

500

250

125

375

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202511 12 14 31 44 32 54 61 81 95 109 137 130 145 175 212 217 276 315 368 315 462 483 96

Akses publik

Lihat semua

42 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoEmail yang diverifikasi di di.uminho.pt
Pooya FarshimIOG Research & Durham UniversityEmail yang diverifikasi di iohk.io
Pierre-Yves StrubResearch Scientist, PQShieldEmail yang diverifikasi di strub.nu
François DupressoirAssociate Professor in Cryptography, Department of Computer Science, University of BristolEmail yang diverifikasi di bristol.ac.uk
Bernardo PortelaINESC TEC, FCUPEmail yang diverifikasi di fc.up.pt
Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoEmail yang diverifikasi di inesctec.pt
Tiago OliveiraSandboxAQEmail yang diverifikasi di sandboxquantum.com
Bogdan WarinschiUniversity of Bristol and DfinityEmail yang diverifikasi di cs.bris.ac.uk
Daniel PageSchool of Computer Science, University of BristolEmail yang diverifikasi di cs.bris.ac.uk
Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoEmail yang diverifikasi di di.uminho.pt
Ahmad-Reza SadeghiTechnische Universität DarmstadtEmail yang diverifikasi di trust.tu-darmstadt.de
Vitor PereiraSRI InternationalEmail yang diverifikasi di sri.com
Barbara VieiraAWSEmail yang diverifikasi di amazon.co.uk
Guillaume ScerriMaître de conférences, Université Versailles Saint-Quentin en YvelinesEmail yang diverifikasi di lsv.ens-cachan.fr
Andrew MossLektor in Computer Science, Blekinge Institute of TechnologyEmail yang diverifikasi di bth.se
Dario FioreAssociate Research Professor, IMDEA Software InstituteEmail yang diverifikasi di imdea.org
Michael EmmiAmazon Web ServicesEmail yang diverifikasi di amazon.com
Afonso ArriagaSnT - University of LuxembourgEmail yang diverifikasi di uni.lu
Frederik VercauterenProfessor at Katholieke Universiteit LeuvenEmail yang diverifikasi di esat.kuleuven.be
Stephan KrennAIT Austrian Institute of Technology GmbHEmail yang diverifikasi di ait.ac.at

Ikuti

Manuel Barbosa

Universidade do Porto (FCUP) and INESC TEC

Email yang diverifikasi di fc.up.pt - Beranda

Cryptography Information Security Formal Verification


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
An overview of controller area network M Farsi, K Ratcliff, M Barbosa Computing and Control Engineering 10 (3), 113-120, 1999	418	1999
Certificateless signcryption M Barbosa, P Farshim Proceedings of the 2008 ACM symposium on Information, computer and …, 2008	401	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	232	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	203	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	149	2015
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	126	2017
CANopen implementation: applications to industrial networks M Farsi, MBM Barbosa Research Studies Press, 2000	124	2000
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	100	2020
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	91	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	89	2016
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	83	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
Provable security analysis of FIDO2 M Barbosa, A Boldyreva, S Chen, B Warinschi Advances in Cryptology–CRYPTO 2021: 41st Annual International Cryptology …, 2021	65	2021
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	60	2019
Secure biometric authentication with improved accuracy M Barbosa, T Brouard, S Cauchie, SM De Sousa Australasian Conference on Information Security and Privacy, 21-36, 2008	58	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	56	2012

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama