Tiago Oliveira
Orcid: 0000-0001-7395-3070Affiliations:
- 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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
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
IACR Cryptol. ePrint Arch., 2023
2022
IEEE Trans. Dependable Secur. Comput., 2022
2021
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021
2020
IACR Cryptol. ePrint Arch., 2020
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: 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
Proceedings of the Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2018
2017
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017