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 | 41 | 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 | 10 | 2017 |
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 |
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage. G Borges, H Domingos, B Ferreira, J Leitão, T Oliveira, B Portela IACR Cryptology ePrint Archive 2018, 588, 2018 | | 2018 |