Seguir
José Bacelar Almeida
José Bacelar Almeida
HASLab / INESC TEC, Universidade do Minho
Dirección de correo verificada de di.uminho.pt
Título
Citado por
Citado por
Año
Verifying {Constant-Time} Implementations
JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi
25th USENIX Security Symposium (USENIX Security 16), 53-70, 2016
3172016
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
1692017
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM De Sousa
Springer, 2011
852011
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
772020
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
752016
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
752013
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
652010
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
642013
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
512012
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
512011
Bounded version vectors
JB Almeida, PS Almeida, C Baquero
Distributed Computing: 18th International Conference, DISC 2004, Amsterdam …, 2004
502004
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
482019
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
362017
Partial Derivative Automata Formalized in Coq
JB Almeida, N Moreira, D Pereira, SM de Sousa
Implementation and Application of Automata: 15th International Conference …, 2011
292011
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
252019
Deductive verification of cryptographic software
JB Almeida, M Barbosa, JS Pinto, B Vieira
Innovations in Systems and Software Engineering 6, 203-218, 2010
182010
A tool for programming with interaction nets
JB Almeida, JS Pinto, M Vilaça
Electronic Notes in Theoretical Computer Science 219, 83-96, 2008
152008
Verifying cryptographic software correctness with respect to reference implementations
JB Almeida, M Barbosa, J Sousa Pinto, B Vieira
International Workshop on Formal Methods for Industrial Critical Systems, 37-52, 2009
142009
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
132018
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
132018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20