Tiago Filipe Azevedo Oliveira


AuthID: R-00G-VYW

Publicações Confirmadas: 8



1
TÍTULO: Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware  Full Text
AUTORES: Ferreira, B; Portela, B ; Oliveira, T ; Borges, G ; Domingos, H; Leitao, J;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID
2
TÍTULO: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Vincent Laporte; Tiago Oliveira ;
PUBLICAÇÃO: 2020, FONTE: INDOCRYPT, VOLUME: 12578 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
3
TÍTULO: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Grégoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLICAÇÃO: 2020, FONTE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May
INDEXADO EM: Scopus WOS DBLP CrossRef: 36
NO MEU: ORCID
4
TÍTULO: BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage  Full Text
AUTORES: Bernardo Ferreira; Bernardo Portela ; Tiago Oliveira ; Guilherme Borges ; Henrique João L Domingos; João Leitão;
PUBLICAÇÃO: 2019, FONTE: SRDS
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
5
TÍTULO: Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3. Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3
AUTORES: Almeida, JB ; Baritel Ruet, C; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Oliveira, T ; Stoughton, A; Strub, PY;
PUBLICAÇÃO: 2019, FONTE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
INDEXADO EM: Scopus WOS DBLP CrossRef: 29
NO MEU: ORCID
6
TÍTULO: Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction?
AUTORES: Ana Rebelo ; Tiago Oliveira ; Manuel Eduardo Correia ; Jaime S Cardoso ;
PUBLICAÇÃO: 2018, FONTE: CIARP, VOLUME: 11401 LNCS
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
7
TÍTULO: A Practical Framework for Privacy-Preserving NoSQL Databases  Full Text
AUTORES: Macedo, R ; Paulo, J ; Pontes, R ; Portela, B ; Oliveira, T ; Matos, M ; Oliveira, R ;
PUBLICAÇÃO: 2017, FONTE: 36th IEEE Symposium on Reliable Distributed Systems (SRDS) in 2017 IEEE 36TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2017-September
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID
8
TÍTULO: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXADO EM: Scopus WOS DBLP CrossRef: 86
NO MEU: ORCID

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service