| 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 | 68 | 2017 |
| A practical framework for privacy-preserving nosql databases R Macedo, J Paulo, R Pontes, B Portela, T Oliveira, M Matos, R Oliveira 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 11-20, 2017 | 20 | 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 | 15 | 2020 |
| 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 | 9 | 2019 |
| Bisen: Efficient boolean searchable symmetric encryption with verifiability and minimal leakage B Ferreira, B Portela, T Oliveira, G Borges, H Domingos, J Leitão 2019 38th Symposium on Reliable Distributed Systems (SRDS), 103-10309, 2019 | 7 | 2019 |
| Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification JB Almeida, M Barbosa, G Barthe, V Laporte, T Oliveira International Conference on Cryptology in India, 107-127, 2020 | | 2020 |
| Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware B Ferreira, B Portela, T Oliveira, G Borges, HJ Domingos, J Leitao IEEE Transactions on Dependable and Secure Computing, 2020 | | 2020 |
