Suivre
Tiago Oliveira
Tiago Oliveira
Max Planck Institute for Security and Privacy (MPI-SP)
Adresse e-mail validée de mpi-sp.org
Titre
Citée par
Citée par
Année
Jasmin: High-assurance and high-speed cryptography
JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, ...
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
1472017
The last mile: High-assurance and high-speed cryptographic implementations
JB Almeida, M Barbosa, G Barthe, B Grégoire, A Koutsos, V Laporte, ...
2020 IEEE Symposium on Security and Privacy (SP), 965-982, 2020
602020
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3
JB Almeida, C Baritel-Ruet, M Barbosa, G Barthe, F Dupressoir, ...
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
382019
High-assurance cryptography in the spectre era
G Barthe, S Cauligi, B Grégoire, A Koutsos, K Liao, T Oliveira, S Priya, ...
2021 IEEE Symposium on Security and Privacy (SP), 1884-1901, 2021
322021
A practical framework for privacy-preserving nosql databases
R Macedo, J Paulo, R Pontes, B Portela, T Oliveira, M Matos, R Oliveira
2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), 11-20, 2017
272017
Boolean searchable symmetric encryption with filters on trusted hardware
B Ferreira, B Portela, T Oliveira, G Borges, H Domingos, J Leitao
IEEE Transactions on Dependable and Secure Computing 19 (2), 1307-1319, 2020
92020
Bisen: Efficient boolean searchable symmetric encryption with verifiability and minimal leakage
B Ferreira, B Portela, T Oliveira, G Borges, H Domingos, J Leitão
2019 38th Symposium on Reliable Distributed Systems (SRDS), 103-10309, 2019
82019
Certified compilation for cryptography: Extended x86 instructions and constant-time verification
JB Almeida, M Barbosa, G Barthe, V Laporte, T Oliveira
Progress in Cryptology–INDOCRYPT 2020: 21st International Conference on …, 2020
42020
Formally verifying Kyber Episode IV: Implementation Correctness
JB Almeida, M Barbosa, G Barthe, B Grégoire, V Laporte, JC Léchenet, ...
Cryptology ePrint Archive, 2023
32023
Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction?
A Rebelo, T Oliveira, ME Correia, JS Cardoso
Progress in Pattern Recognition, Image Analysis, Computer Vision, and …, 2019
32019
Typing High-Speed Cryptography against Spectre v1
BA Shivakumar, G Barthe, B Grégoire, V Laporte, T Oliveira, S Priya, ...
2023 IEEE Symposium on Security and Privacy (SP), 1592-1609, 2023
22023
High-speed and High-assurance Cryptographic Software
TFA Oliveira
12022
Verificação de software criptográfico de elevado desempenho
TFA Oliveira
12012
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–13