|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
|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
|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
|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
|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
|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
|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