| 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 | 50 | 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 | 12 | 2017 |
| Bisen: Efficient boolean searchable symmetric encryption with verifiability and minimal leakage B Ferreira, B Portela, T Oliveira, G Borges, H Domingos, J Leitao 2019 38th Symposium on Reliable Distributed Systems (SRDS), 103-10309, 2019 | 5 | 2019 |
| The Last Mile: High-Assurance and High-Speed Cryptographic Implementations JB Almeida, M Barbosa, G Barthe, B Grégoire, A Koutsos, V Laporte, ... arXiv preprint arXiv:1904.04606, 2019 | 5 | 2019 |
| 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 | 2 | 2019 |
