Tiago Oliveira
Tiago Oliveira
HASLab, INESC TEC, FCUP
Verified email at inesctec.pt
TitleCited byYear
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
412017
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
102017
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
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
The system can't perform the operation now. Try again later.
Articles 1–4