Tiago Filipe Azevedo Oliveira
AuthID: R-00G-VYW
1
TITLE: 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
AUTHORS: 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;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921
AUTHORS: 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;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921
2
TITLE: Measuring the Influence of Sustainable Technology in Energy Communities
AUTHORS: Darina Vorobeva; Tatiana Kireeva Affonso; Ian J Scott; Tiago Oliveira; Miguel Neto;
PUBLISHED: 2024, SOURCE: 30th ICE IEEE/ITMC Conference on Engineering, Technology, and Innovation, ICE/ITMC 2024 in IEEE International Conference on Engineering, Technology, and Innovation, ICE/ITMC 2024, Funchal, Portugal, June 24-28, 2024
AUTHORS: Darina Vorobeva; Tatiana Kireeva Affonso; Ian J Scott; Tiago Oliveira; Miguel Neto;
PUBLISHED: 2024, SOURCE: 30th ICE IEEE/ITMC Conference on Engineering, Technology, and Innovation, ICE/ITMC 2024 in IEEE International Conference on Engineering, Technology, and Innovation, ICE/ITMC 2024, Funchal, Portugal, June 24-28, 2024
3
TITLE: Connecting metrics for shape-texture knowledge in computer vision
AUTHORS: Tiago Oliveira; Tiago Marques; Arlindo L Oliveira;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2301.10608
AUTHORS: Tiago Oliveira; Tiago Marques; Arlindo L Oliveira;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2301.10608
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP4
TITLE: Formally verifying Kyber Episode IV: Implementation correctness. Episode IV: Implementation correctness
AUTHORS: 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;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3
AUTHORS: 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;
PUBLISHED: 2023, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, ISSUE: 3
5
TITLE: Designing XAI-based Computer-aided Diagnostic Systems: Operationalising User Research Methods 25-36 PDF
AUTHORS: Elsa Oliveira; Cristiana Braga; Ana Sampaio; Tiago Oliveira; Filipe Soares; Luís Rosado;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Elsa Oliveira; Cristiana Braga; Ana Sampaio; Tiago Oliveira; Filipe Soares; Luís Rosado;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP6
TITLE: Schnorr protocol in Jasmin
AUTHORS: Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023
AUTHORS: Denis Firsov; Tiago Oliveira; Dominique Unruh;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP7
TITLE: Drivers and Outcomes of Sustainable Technologies: a mixed-Methods Study of 4 EU Countries
AUTHORS: Catarina Neves; Tiago Oliveira;
PUBLISHED: 2023, SOURCE: 31st European Conference on Information Systems - Co-creating Sustainable Digital Futures, ECIS 2023, Kristiansan, Norway, June 11-16, 2023
AUTHORS: Catarina Neves; Tiago Oliveira;
PUBLISHED: 2023, SOURCE: 31st European Conference on Information Systems - Co-creating Sustainable Digital Futures, ECIS 2023, Kristiansan, Norway, June 11-16, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP8
TITLE: Adoption and use of digital financial services: A meta analysis of barriers and facilitators
AUTHORS: Catarina Neves; Tiago Oliveira; Fernando Santini; Luis Gutman;
PUBLISHED: 2023, SOURCE: Int. J. Inf. Manag. Data Insights, VOLUME: 3, ISSUE: 2
AUTHORS: Catarina Neves; Tiago Oliveira; Fernando Santini; Luis Gutman;
PUBLISHED: 2023, SOURCE: Int. J. Inf. Manag. Data Insights, VOLUME: 3, ISSUE: 2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP9
TITLE: High-assurance zeroization
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Ruben Gonzalez; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Peter Schwabe;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, ISSUE: 1
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Ruben Gonzalez; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Peter Schwabe;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023, ISSUE: 1
10
TITLE: Automated Adequacy Assessment of Cervical Cytology Samples Using Deep Learning
AUTHORS: Mosiichuk, Vladyslav; Viana, Paula ; Oliveira, Tiago; Rosado, Luis;
PUBLISHED: 2022, SOURCE: 10th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2022), VOLUME: 13256
AUTHORS: Mosiichuk, Vladyslav; Viana, Paula ; Oliveira, Tiago; Rosado, Luis;
PUBLISHED: 2022, SOURCE: 10th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2022), VOLUME: 13256
