José Bacelar Almeida

Citado por

	Total	Desde 2018
Citas	1180	776
Índice h	16	13
Índice i10	19	15

200

100

150

2006200720082009201020112012201320142015201620172018201920202021202220234 3 6 10 20 15 44 34 53 55 60 87 102 137 147 191 130 69

Acceso público

Ver todo

12 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECDirección de correo verificada de fc.up.pt
Gilles BartheMPI-SP and IMDEA Software InstituteDirección de correo verificada de mpi-sp.org
Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoDirección de correo verificada de di.uminho.pt
François DupressoirSenior Lecturer in Cryptography, Department of Computer Science, University of BristolDirección de correo verificada de bristol.ac.uk
Simão Melo de SousaAssociate Professor, Computer Science Department of the University of Beira InteriorDirección de correo verificada de di.ubi.pt
Benjamin GregoireInria Sophia-AntipolisDirección de correo verificada de inria.fr
Maria João FradeHASLab / INESC TEC and Universidade do MinhoDirección de correo verificada de di.uminho.pt
Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoDirección de correo verificada de inesctec.pt
Pierre-Yves StrubMaître de Conférence, CS, École PolytechniqueDirección de correo verificada de strub.nu
Tiago OliveiraMax Planck Institute for Security and Privacy (MPI-SP)Dirección de correo verificada de mpi-sp.org
Barbara VieiraDirección de correo verificada de tomtom.com
Nelma MoreiraUniversidade do PortoDirección de correo verificada de fc.up.pt
Michael EmmiAmazon Web ServicesDirección de correo verificada de amazon.com
Stephan KrennAIT Austrian Institute of Technology GmbHDirección de correo verificada de ait.ac.at
Miguel VilaçaUniversidade Católica PortuguesaDirección de correo verificada de braga.ucp.pt
Bernardo PortelaINESC TEC, FCUPDirección de correo verificada de fc.up.pt
Benedikt SchmidtGoogleDirección de correo verificada de google.com
Thomas SchneiderTechnical University of DarmstadtDirección de correo verificada de encrypto.cs.tu-darmstadt.de

Seguir

José Bacelar Almeida

HASLab / INESC TEC, Universidade do Minho

Dirección de correo verificada de di.uminho.pt

Cryptography Formal Verification Proof-Assistants


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Verifying Constant-Time Implementations. JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi USENIX Security Symposium 16, 53-70, 2016	270	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	135	2017
Rigorous software development: an introduction to program verification JB Almeida, MJ Frade, JS Pinto, SM De Sousa Springer, 2011	80	2011
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	71	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	66	2016
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	66	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
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	52	2020
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
An overview of formal methods tools and techniques JB Almeida, MJ Frade, JS Pinto, S Melo de Sousa, JB Almeida, MJ Frade, ... Rigorous Software Development: An Introduction to Program Verification, 15-44, 2011	48	2011
Bounded version vectors JB Almeida, PS Almeida, C Baquero Distributed Computing: 18th International Conference, DISC 2004, Amsterdam …, 2004	45	2004
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	34	2019
A fast and verified software stack for secure function evaluation JB Almeida, M Barbosa, G Barthe, F Dupressoir, B Grégoire, V Laporte, ... Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017	32	2017
Partial Derivative Automata Formalized in Coq JB Almeida, N Moreira, D Pereira, SM de Sousa Implementation and Application of Automata: 15th International Conference …, 2011	29	2011
A machine-checked proof of security for AWS key management service JB Almeida, M Barbosa, G Barthe, M Campagna, E Cohen, B Gregoire, ... Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019	18	2019
Deductive verification of cryptographic software JB Almeida, M Barbosa, JS Pinto, B Vieira Innovations in Systems and Software Engineering 6, 203-218, 2010	17	2010
A tool for programming with interaction nets JB Almeida, JS Pinto, M Vilaça Electronic Notes in Theoretical Computer Science 219, 83-96, 2008	15	2008
Verifying cryptographic software correctness with respect to reference implementations JB Almeida, M Barbosa, J Sousa Pinto, B Vieira Formal Methods for Industrial Critical Systems: 14th International Workshop …, 2009	14	2009
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks JB Almeida, M Barbosa, G Barthe, H Pacheco, V Pereira, B Portela 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 132-146, 2018	11	2018
Teaching how to program using automated assessment and functional glossy games (experience report) JB Almeida, A Cunha, N Macedo, H Pacheco, J Proença Proceedings of the ACM on Programming Languages 2 (ICFP), 1-17, 2018	9	2018

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