| 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 |
| 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 |
| 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 |
| Rigorous software development: an introduction to program verification JB Almeida, MJ Frade, JS Pinto, SM De Sousa Springer, 2011 | 91 | 2011 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 | 55 | 2011 |
| Bounded version vectors JB Almeida, PS Almeida, C Baquero Distributed Computing: 18th International Conference, DISC 2004, Amsterdam …, 2004 | 50 | 2004 |
| 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 | 36 | 2017 |
| 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 | 33 | 2019 |
| Partial derivative automata formalized in Coq JB Almeida, N Moreira, D Pereira, SM de Sousa International Conference on Implementation and Application of Automata, 59-68, 2010 | 30 | 2010 |
| 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 | 19 | 2018 |
| Deductive verification of cryptographic software JB Almeida, M Barbosa, JS Pinto, B Vieira Innovations in Systems and Software Engineering 6, 203-218, 2010 | 19 | 2010 |
| 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 | 16 | 2018 |
| Machine-checked ZKP for NP relations: Formally verified security proofs and implementations of MPC-in-the-head JB Almeida, M Barbosa, ML Correia, K Eldefrawy, S Graham-Lengrand, ... Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 15 | 2021 |
| 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 | 15 | 2009 |
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
