Tiago Oliveira
Tiago Oliveira
HASLab, INESC TEC, FCUP
Verified email at inesctec.pt
Title
Cited by
Cited by
Year
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
502017
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
122017
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
52019
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
52019
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
22019
The system can't perform the operation now. Try again later.
Articles 1–5