José Bacelar Almeida

José Bacelar Almeida

Universidade do Minho - Braga / Portugal
Engineering & Technology / Computer Science
AD Scientific Index ID: 4369634
University of Minho
person_outline José Bacelar Almeida's MOST POPULAR ARTICLES
1-) Verifying {Constant-Time} ImplementationsJB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi25th USENIX Security Symposium (USENIX Security 16), 53-70, 20163192016
2-) Jasmin: High-assurance and high-speed cryptographyJB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, ...Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 20171722017
3-) The last mile: High-assurance and high-speed cryptographic implementationsJB Almeida, M Barbosa, G Barthe, B Grégoire, A Koutsos, V Laporte, ...2020 IEEE Symposium on Security and Privacy (SP), 965-982, 2020852020
4-) Rigorous software development: an introduction to program verificationJB Almeida, MJ Frade, JS Pinto, SM De SousaSpringer, 2011862011
5-) Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBCJB Almeida, M Barbosa, G Barthe, F DupressoirFast Software Encryption: 23rd International Conference, FSE 2016, Bochum …, 2016832016