Sign in
Tiago Oliveira
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 21
Top Topics
High Assurance
Databases
Top Venues
IACR Cryptol. ePrint Arch.
SRDS
IEEE Symposium on Security and Privacy
IACR Trans. Cryptogr. Hardw. Embed. Syst.
</>
Publications
</>
Santiago Arranz Olmos
,
Gilles Barthe
,
Ruben Gonzalez
,
Benjamin Grégoire
,
Vincent Laporte
,
Jean-Christophe Léchenet
,
Tiago Oliveira
,
Peter Schwabe
High-assurance zeroization.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
2024 (1) (2024)
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
Formally verifying Kyber Part I: Implementation Correctness.
IACR Cryptol. ePrint Arch.
2023 (2023)
Santiago Arranz Olmos
,
Gilles Barthe
,
Ruben Gonzalez
,
Benjamin Grégoire
,
Vincent Laporte
,
Jean-Christophe Léchenet
,
Tiago Oliveira
,
Peter Schwabe
High-assurance zeroization.
IACR Cryptol. ePrint Arch.
2023 (2023)
Basavesh Ammanaghatta Shivakumar
,
Gilles Barthe
,
Benjamin Grégoire
,
Vincent Laporte
,
Tiago Oliveira
,
Swarn Priya
,
Peter Schwabe
,
Lucas Tabary-Maujean
Typing High-Speed Cryptography against Spectre v1.
SP
(2023)
Tomé Albuquerque
,
Luís Rosado
,
Ricardo Cruz
,
Maria João M. Vasconcelos
,
Tiago Oliveira
,
Jaime S. Cardoso
Rethinking low-cost microscopy workflow: Image enhancement using deep based Extended Depth of Field methods.
Intell. Syst. Appl.
17 (2023)
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
Formally verifying Kyber Episode IV: Implementation correctness.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
2023 (3) (2023)
José Bacelar Almeida
,
Denis Firsov
,
Tiago Oliveira
,
Dominique Unruh
Leakage-Free Probabilistic Jasmin Programs.
IACR Cryptol. ePrint Arch.
2023 (2023)
Bernardo Ferreira
,
Bernardo Portela
,
Tiago Oliveira
,
Guilherme Borges
,
Henrique Domingos
,
João Leitão
Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware.
IEEE Trans. Dependable Secur. Comput.
19 (2) (2022)
Basavesh Ammanaghatta Shivakumar
,
Gilles Barthe
,
Benjamin Grégoire
,
Vincent Laporte
,
Tiago Oliveira
,
Swarn Priya
,
Peter Schwabe
,
Lucas Tabary-Maujean
Typing High-Speed Cryptography against Spectre v1.
IACR Cryptol. ePrint Arch.
2022 (2022)
Gilles Barthe
,
Sunjay Cauligi
,
Benjamin Grégoire
,
Adrien Koutsos
,
Kevin Liao
,
Tiago Oliveira
,
Swarn Priya
,
Tamara Rezk
,
Peter Schwabe
High-Assurance Cryptography in the Spectre Era.
IEEE Symposium on Security and Privacy
(2021)
Gilles Barthe
,
Sunjay Cauligi
,
Benjamin Grégoire
,
Adrien Koutsos
,
Kevin Liao
,
Tiago Oliveira
,
Swarn Priya
,
Tamara Rezk
,
Peter Schwabe
High-Assurance Cryptography Software in the Spectre Era.
IACR Cryptol. ePrint Arch.
2020 (2020)
José Bacelar Almeida
,
Manuel Barbosa
,
Gilles Barthe
,
Vincent Laporte
,
Tiago Oliveira
Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification.
INDOCRYPT
(2020)
José Bacelar Almeida
,
Manuel Barbosa
,
Gilles Barthe
,
Benjamin Grégoire
,
Adrien Koutsos
,
Vincent Laporte
,
Tiago Oliveira
,
Pierre-Yves Strub
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.
IEEE Symposium on Security and Privacy
(2020)
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
Machine-Checked Proofs for Cryptographic Standards.
IACR Cryptol. ePrint Arch.
2019 (2019)
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
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3.
CCS
(2019)
Bernardo Ferreira
,
Bernardo Portela
,
Tiago Oliveira
,
Guilherme Borges
,
Henrique Domingos
,
João Leitão
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.
SRDS
(2019)
José Bacelar Almeida
,
Manuel Barbosa
,
Gilles Barthe
,
Benjamin Grégoire
,
Adrien Koutsos
,
Vincent Laporte
,
Tiago Oliveira
,
Pierre-Yves Strub
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.
CoRR
(2019)
Guilherme Borges
,
Henrique Domingos
,
Bernardo Ferreira
,
João Leitão
,
Tiago Oliveira
,
Bernardo Portela
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.
IACR Cryptol. ePrint Arch.
2018 (2018)
Ana Rebelo
,
Tiago Oliveira
,
Manuel Eduardo Correia
,
Jaime S. Cardoso
Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction?
CIARP
(2018)
José Bacelar Almeida
,
Manuel Barbosa
,
Gilles Barthe
,
Arthur Blot
,
Benjamin Grégoire
,
Vincent Laporte
,
Tiago Oliveira
,
Hugo Pacheco
,
Benedikt Schmidt
,
Pierre-Yves Strub
Jasmin: High-Assurance and High-Speed Cryptography.
CCS
(2017)
Ricardo Macedo
,
João Paulo
,
Rogerio Pontes
,
Bernardo Portela
,
Tiago Oliveira
,
Miguel Matos
,
Rui Oliveira
A Practical Framework for Privacy-Preserving NoSQL Databases.
SRDS
(2017)