Tiago Oliveira

39 papers A* 7B 4C 1Misc 2Journal 20Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A* conf
Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt.
SP
José Bacelar Almeida, Gustavo Xavier Delerue Marinho Alves, Manuel Barbosa, Gilles Barthe, Luís Esquível, Vincent Hwang, Tiago Oliveira, Hugo Pacheco, Peter Schwabe, Pierre-Yves Strub
2025 J jnl
Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Gustavo Xavier Delerue Marinho Alves, Manuel Barbosa, Gilles Barthe, Luís Esquível, Vincent Hwang, Tiago Oliveira, Hugo Pacheco, Peter Schwabe, Pierre-Yves Strub
2025 A* conf
Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs.
CCS
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Lionel Blatter, Gustavo Xavier Delerue Marinho Alves, João Diogo Duarte, Benjamin Grégoire, Tiago Oliveira, Miguel Quaresma, Pierre-Yves Strub, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2025 B conf
Leakage-Free Probabilistic Jasmin Programs.
CPP
José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh
2025 J jnl
Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code.
IACR Cryptol. ePrint Arch.
Santiago Arranz-Olmos, Gilles Barthe, Benjamin Grégoire, Jan Jancar, Vincent Laporte, Tiago Oliveira, Peter Schwabe
2025 J jnl
Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Code.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Santiago Arranz-Olmos, Gilles Barthe, Benjamin Grégoire, Jan Jancar, Vincent Laporte, Tiago Oliveira, Peter Schwabe
2025 — conf
Protecting Cryptographic Code Against Spectre-RSB: (and, in Fact, All Known Spectre Variants).
ASPLOS (2)
Santiago Arranz-Olmos, Gilles Barthe, Chitchanok Chuengsatiansup, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Peter Schwabe, Yuval Yarom, Zhiyuan Zhang
2025 B conf
Systematic Mapping on Positioning of Labeled Industrial Objects.
SMC
Tiago Oliveira, Alexandre Beletti Ferreira, Francisco Y. Nakamoto
2024 — conf
Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt.
CRYPTO (2)
José Bacelar Almeida, Santiago Arranz-Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub
2024 J jnl
Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Santiago Arranz-Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub
2024 J jnl
High-assurance zeroization.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Santiago Arranz-Olmos, Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Peter Schwabe
2024 J jnl
Protecting cryptographic code against Spectre-RSB.
IACR Cryptol. ePrint Arch.
Santiago Arranz-Olmos, Gilles Barthe, Chitchanok Chuengsatiansup, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Peter Schwabe, Yuval Yarom, Zhiyuan Zhang
2023 — conf
Designing XAI-based Computer-aided Diagnostic Systems: Operationalising User Research Methods 25-36.
IUI Workshops
Elsa Oliveira, Cristiana Braga, Ana Sampaio, Tiago Oliveira, Filipe Soares, Luís Rosado
2023 J jnl
Formally verifying Kyber Episode IV: Implementation correctness.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub
2023 J jnl
Formally verifying Kyber Part I: Implementation Correctness.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub
2023 J jnl
High-assurance zeroization.
IACR Cryptol. ePrint Arch.
Santiago Arranz-Olmos, Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Peter Schwabe
2023 J jnl
Leakage-Free Probabilistic Jasmin Programs.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh
2023 J jnl
Rethinking low-cost microscopy workflow: Image enhancement using deep based Extended Depth of Field methods.
Intell. Syst. Appl.
Tomé Albuquerque, Luís Rosado, Ricardo P. M. Cruz, Maria João M. Vasconcelos, Tiago Oliveira, Jaime S. Cardoso
2023 J jnl
Schnorr protocol in Jasmin.
IACR Cryptol. ePrint Arch.
Denis Firsov, Tiago Oliveira, Dominique Unruh
2023 A* conf
Typing High-Speed Cryptography against Spectre v1.
SP
Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Swarn Priya, Peter Schwabe, Lucas Tabary-Maujean
2022 Misc conf
Automated Adequacy Assessment of Cervical Cytology Samples Using Deep Learning.
IbPRIA
Vladyslav Mosiichuk, Paula Viana, Tiago Oliveira, Luís Rosado
2022 J jnl
Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware.
IEEE Trans. Dependable Secur. Comput.
Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique João L. Domingos, João Leitão
2022 — —
High-speed and High-assurance Cryptographic Software
Tiago Oliveira
2022 J jnl
Impact of Generative Modeling for Fundus Image Augmentation With Improved and Degraded Quality in the Classification of Glaucoma.
IEEE Access
Ricardo Leonardo, João Gonçalves, André V. Carreiro, Beatriz Simões, Tiago Oliveira, Filipe Soares
2022 J jnl
Typing High-Speed Cryptography against Spectre v1.
IACR Cryptol. ePrint Arch.
Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Swarn Priya, Peter Schwabe, Lucas Tabary-Maujean
2021 J jnl
A Mobile Tele-Ophthalmology System for Planned and Opportunistic Screening of Diabetic Retinopathy in Primary Care.
IEEE Access
Francisco Nunes, Pedro Madureira, Sílvia Rêgo, Cristiana Braga, Ruben Moutinho, Tiago Oliveira, Filipe Soares
2021 A* conf
High-Assurance Cryptography in the Spectre Era.
SP
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
2020 Misc conf
Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification.
INDOCRYPT
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira
2020 J jnl
High-Assurance Cryptography Software in the Spectre Era.
IACR Cryptol. ePrint Arch.
Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
2020 A* conf
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.
SP
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub
2019 B conf
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.
SRDS
Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique João L. Domingos, João Leitão
2019 J jnl
Machine-Checked Proofs for Cryptographic Standards.
IACR Cryptol. ePrint Arch.
José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub
2019 A* conf
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3.
CCS
José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub
2019 J jnl
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.
CoRR
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub
2018 C conf
Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction?
CIARP
Ana Rebelo, Tiago Oliveira, Manuel Eduardo Correia, Jaime S. Cardoso
2018 J jnl
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.
IACR Cryptol. ePrint Arch.
Guilherme Borges, Henrique João L. Domingos, Bernardo Ferreira, João Leitão, Tiago Oliveira, Bernardo Portela
2018 — conf
Cordon Gris: Integrated solution for meal recommendations.
PerCom Workshops
Jorge Ribeiro, David Ribeiro, Ayla Schwarz, Maria João M. Vasconcelos, Filomena Gerardo, Ciska van Harten, Riccardo Succu, Robbie Davison, Tiago Oliveira, Tiago Silva, Marlos Silva
2017 B conf
A Practical Framework for Privacy-Preserving NoSQL Databases.
SRDS
Ricardo Macedo, João Paulo, Rogerio Pontes, Bernardo Portela, Tiago Oliveira, Miguel Matos, Rui Oliveira
2017 A* conf
Jasmin: High-Assurance and High-Speed Cryptography.
CCS
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub