Tiago Oliveira

Orcid: 0000-0001-7395-3070

Affiliations:
  • University of Porto, INESC TEC and FCUP, Portugal


According to our database1, Tiago Oliveira authored at least 19 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
High-assurance zeroization.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

2023
Formally verifying Kyber Episode IV: Implementation correctness.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

Rethinking low-cost microscopy workflow: Image enhancement using deep based Extended Depth of Field methods.
Intell. Syst. Appl., 2023

Schnorr protocol in Jasmin.
IACR Cryptol. ePrint Arch., 2023

Leakage-Free Probabilistic Jasmin Programs.
IACR Cryptol. ePrint Arch., 2023

Formally verifying Kyber Part I: Implementation Correctness.
IACR Cryptol. ePrint Arch., 2023

2022
High-speed and High-assurance Cryptographic Software
PhD thesis, 2022

Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware.
IEEE Trans. Dependable Secur. Comput., 2022

Typing High-Speed Cryptography against Spectre v1.
IACR Cryptol. ePrint Arch., 2022

2021
High-Assurance Cryptography in the Spectre Era.
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020
High-Assurance Cryptography Software in the Spectre Era.
IACR Cryptol. ePrint Arch., 2020

The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification.
Proceedings of the Progress in Cryptology - INDOCRYPT 2020, 2020

2019
Machine-Checked Proofs for Cryptographic Standards.
IACR Cryptol. ePrint Arch., 2019

Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.
IACR Cryptol. ePrint Arch., 2018

Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction?
Proceedings of the Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2018

2017
A Practical Framework for Privacy-Preserving NoSQL Databases.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Jasmin: High-Assurance and High-Speed Cryptography.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017


  Loading...