Tiago Filipe Azevedo Oliveira
AuthID: R-00G-VYW
1
TÃTULO: Leakage-Free Probabilistic Jasmin Programs
AUTORES: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLICAÇÃO: 2025, FONTE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025
AUTORES: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLICAÇÃO: 2025, FONTE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025
2
TÃTULO: Protecting Cryptographic Code Against Spectre-RSB: (and, in Fact, All Known Spectre Variants)
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang;
PUBLICAÇÃO: 2025, FONTE: ASPLOS (2)
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Chitchanok Chuengsatiansup; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Peter Schwabe; Yuval Yarom; Zhiyuan Zhang;
PUBLICAÇÃO: 2025, FONTE: ASPLOS (2)
3
TÃTULO: CCS25 - Artifact for "Jazzline: Composable CryptoLine functional correctness proofs for Jasmin programs"
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Lionel Blatter; João Diogo Duarte; Gustavo Xavier Delerue Marinho Alves; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLICAÇÃO: 2025, FONTE: Ccs 2025 Proceedings of the 2025 ACM Sigsac Conference on Computer and Communications Security
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Lionel Blatter; João Diogo Duarte; Gustavo Xavier Delerue Marinho Alves; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLICAÇÃO: 2025, FONTE: Ccs 2025 Proceedings of the 2025 ACM Sigsac Conference on Computer and Communications Security
4
TÃTULO: High-assurance zeroization
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Ruben Gonzalez; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Peter Schwabe;
PUBLICAÇÃO: 2024, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2024, NÚMERO: 1
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Ruben Gonzalez; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Peter Schwabe;
PUBLICAÇÃO: 2024, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2024, NÚMERO: 1
5
TÃTULO: Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTORES: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLICAÇÃO: 2024, FONTE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921
AUTORES: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLICAÇÃO: 2024, FONTE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921
6
TÃTULO: Measuring the Influence of Sustainable Technology in Energy Communities
AUTORES: Vorobeva, Darina; Affonso, Tatiana Kireeva; Scott, Ian J.; Oliveira, Tiago; Neto, Miguel;
PUBLICAÇÃO: 2024, FONTE: 30th IEEE International Conference on Engineering, Technology, and Innovation in 2024 IEEE INTERNATIONAL CONFERENCE ON ENGINEERING, TECHNOLOGY, AND INNOVATION, ICE/ITMC 2024
AUTORES: Vorobeva, Darina; Affonso, Tatiana Kireeva; Scott, Ian J.; Oliveira, Tiago; Neto, Miguel;
PUBLICAÇÃO: 2024, FONTE: 30th IEEE International Conference on Engineering, Technology, and Innovation in 2024 IEEE INTERNATIONAL CONFERENCE ON ENGINEERING, TECHNOLOGY, AND INNOVATION, ICE/ITMC 2024
7
TÃTULO: Typing High-Speed Cryptography against Spectre v1 Full Text
AUTORES: Basavesh Ammanaghatta Shivakumar; Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Swarn Priya; Peter Schwabe; Lucas Tabary Maujean;
PUBLICAÇÃO: 2023, FONTE: SP, VOLUME: 2023-May
AUTORES: Basavesh Ammanaghatta Shivakumar; Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Swarn Priya; Peter Schwabe; Lucas Tabary Maujean;
PUBLICAÇÃO: 2023, FONTE: SP, VOLUME: 2023-May
8
TÃTULO: Formally verifying Kyber Episode IV: Implementation correctness. Episode IV: Implementation correctness
AUTORES: 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;
PUBLICAÇÃO: 2023, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, NÚMERO: 3
AUTORES: 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;
PUBLICAÇÃO: 2023, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, NÚMERO: 3
9
TÃTULO: Designing XAI-based Computer-aided Diagnostic Systems: Operationalising User Research Methods 25-36 PDF
AUTORES: Elsa Oliveira; Cristiana Braga; Ana Sampaio; Tiago Oliveira; Filipe Soares; Luís Rosado;
PUBLICAÇÃO: 2023, FONTE: Joint Proceedings of the IUI 2023 Workshops: HAI-GEN, ITAH, MILC, SHAI, SketchRec, SOCIALIZE co-located with the ACM International Conference on Intelligent User Interfaces (IUI 2023), Sydney, Australia, March 27-31, 2023., VOLUME: 3359
AUTORES: Elsa Oliveira; Cristiana Braga; Ana Sampaio; Tiago Oliveira; Filipe Soares; Luís Rosado;
PUBLICAÇÃO: 2023, FONTE: Joint Proceedings of the IUI 2023 Workshops: HAI-GEN, ITAH, MILC, SHAI, SketchRec, SOCIALIZE co-located with the ACM International Conference on Intelligent User Interfaces (IUI 2023), Sydney, Australia, March 27-31, 2023., VOLUME: 3359
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP10
TÃTULO: Schnorr protocol in Jasmin
AUTORES: Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023
AUTORES: Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP