Tiago Oliveira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
62
Venues
37
Active years
2012–2025
Best venue rank
A*
Where they publish
- NationalPAAMS7 papers
- CWorldCIST6 papers
- A*SP4 papers
- A*CCS3 papers
- CEDUCON3 papers
- NationalHCI3 papers
- CISCC2 papers
- BSRDS2 papers
- A*KR2 papers
- UnrankedIDC2 papers
- BCBMS2 papers
- A*ASPLOS1 paper
- BCPP1 paper
- BSMC1 paper
- A*CRYPTO1 paper
- NationalEPIA1 paper
- AIUI1 paper
- NationalIBPRIA1 paper
- CICIS1 paper
- NationalINDOCRYPT1 paper
- CIDEAL1 paper
- CISDA1 paper
- BWiMob1 paper
- CCIARP1 paper
- A*PERCOM1 paper
- A*ICRA1 paper
- CIFSA1 paper
- AMiddleware1 paper
- BOPODIS1 paper
- AEuroSys1 paper
- CINISTA1 paper
- BEuroPar1 paper
- CWEBIST1 paper
- AUSENIX1 paper
- NationalHAIS1 paper
- NationalDCAI1 paper
- UnrankedSEC1 paper
Papers
62 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | Protecting Cryptographic Code Against Spectre-RSB: (and, in Fact, All Known Spectre Variants). | Santiago Arranz-Olmos, Gilles Barthe, Chitchanok Chuengsatiansup, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Peter Schwabe, Yuval Yarom, Zhiyuan Zhang |
| 2025 | CCS | Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Lionel Blatter, Gustavo Xavier Delerue Marinho Alves, Joo Diogo Duarte, Benjamin Grgoire, Tiago Oliveira, Miguel Quaresma, Pierre-Yves Strub, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2025 | CPP | Leakage-Free Probabilistic Jasmin Programs. | Jos Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh |
| 2025 | SMC | Systematic Mapping on Positioning of Labeled Industrial Objects. | Tiago Oliveira, Alexandre Beletti Ferreira, Francisco Y. Nakamoto |
| 2025 | SP | Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt. | Jos Bacelar Almeida, Gustavo Xavier Delerue Marinho Alves, Manuel Barbosa, Gilles Barthe, Lus Esquvel, Vincent Hwang, Tiago Oliveira, Hugo Pacheco, Peter Schwabe, Pierre-Yves Strub |
| 2024 | CRYPTO | Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. | Jos Bacelar Almeida, Santiago Arranz-Olmos, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Jean-Christophe Lchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub |
| 2023 | EDUCON | ATHENA European University: An Educational Joint Model for Sustainable Education. | Nuno Escudeiro, Paula Escudeiro, Mrcia Campos Gouveia, Tiago Oliveira |
| 2023 | EPIA | Leveraging TFR-BERT for ICD Diagnoses Ranking. | Ana Silva, Pedro Chaves, Sara Rijo, Joo Bone, Tiago Oliveira, Paulo Novais |
| 2023 | IUI | Designing XAI-based Computer-aided Diagnostic Systems: Operationalising User Research Methods 25-36. | Elsa Oliveira, Cristiana Braga, Ana Sampaio, Tiago Oliveira, Filipe Soares, Lus Rosado |
| 2023 | SP | Typing High-Speed Cryptography against Spectre v1. | Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Swarn Priya, Peter Schwabe, Lucas Tabary-Maujean |
| 2022 | IBPRIA | Automated Adequacy Assessment of Cervical Cytology Samples Using Deep Learning. | Vladyslav Mosiichuk, Paula Viana, Tiago Oliveira, Lus Rosado |
| 2021 | ICIS | Using the Expectancy-Value Theory of Motivation to Understand the Gaps in Mobile Identity Protection. | Yasser Alhelaly, Gurpreet Dhillon, Tiago Oliveira |
| 2021 | SP | High-Assurance Cryptography in the Spectre Era. | Gilles Barthe, Sunjay Cauligi, Benjamin Grgoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe |
| 2020 | INDOCRYPT | Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira |
| 2020 | IDEAL | Mapping a Clinical Case Description to an Argumentation Framework: A Preliminary Assessment. | Ana Silva, Antnio Silva, Tiago Oliveira, Paulo Novais |
| 2020 | ISDA | A Data Mining Framework for Response Modelling in Direct Marketing. | Ftima Rodrigues, Tiago Oliveira |
| 2020 | SP | The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grgoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira, Pierre-Yves Strub |
| 2019 | CCS | Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. | Jos Bacelar Almeida, Ccile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub |
| 2019 | EDUCON | Automatic Sign Language Translation to Improve Communication. | Tiago Oliveira, Paula Escudeiro, Nuno Escudeiro, Emanuel Rocha, Fernando Maciel Barbosa |
| 2019 | ISCC | QoE-based Load Balancing of OTT Video Content in SDN Networks. | Tiago Oliveira, Susana Sargento |
| 2019 | WorldCIST | Providing Alternative Measures for Addressing Adverse Drug-Drug Interactions. | Antnio Silva, Tiago Oliveira, Ken Satoh, Paulo Novais |
| 2019 | WiMob | Repeatable and Reproducible Wireless Networking Experimentation through Trace-based Simulation. | Vitor Lamela, Helder Fontes, Tiago Oliveira, Jos Ruela, Manuel Ricardo, Rui Campos |
| 2019 | SRDS | BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage. | Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique Joo L. Domingos, Joo Leito |
| 2018 | CIARP | Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction? | Ana Rebelo, Tiago Oliveira, Manuel Eduardo Correia, Jaime S. Cardoso |
| 2018 | EDUCON | ACE assisted communication for education: Architecture to support blind & deaf communication. | Joo Ulisses, Tiago Oliveira, Paula Maria Escudeiro, Nuno Escudeiro, Fernando Maciel Barbosa |
| 2018 | HCI | Expected User Acceptance of an Augmented Reality Service for a Smart City. | Francisco Rebelo, Paulo Noriega, Tiago Oliveira, Daniela Santos, Sabrina Oliveira |
| 2018 | ISCC | Forecasting Over-the-Top Bandwidth Consumption Applied to Network Operators. | Tiago Oliveira, Adriano Fiorese, Susana Sargento |
| 2018 | KR | Automatically Identifying Drug Conflicts in Clinical Practice Guidelines. | Antnio Silva, Tiago Oliveira, Ken Satoh, Paulo Novais |
| 2018 | KR | Argumentation for Reasoning with Conflicting Clinical Guidelines and Preferences. | Kristijonas Cyras, Tiago Oliveira |
| 2018 | PERCOM | Cordon Gris: Integrated solution for meal recommendations. | Jorge Ribeiro, David Ribeiro, Ayla Schwarz, Maria Joo M. Vasconcelos, Filomena Gerardo, Ciska van Harten, Riccardo Succu, Robbie Davison, Tiago Oliveira, Tiago Silva, Marlos Silva |
| 2018 | WorldCIST | Understanding the Adoption of Business Analytics and Intelligence. | Frederico Cruz-Jesus, Tiago Oliveira, Mijail Naranjo-Zolotov |
| 2018 | WorldCIST | A Unified System for Clinical Guideline Management and Execution. | Antnio Silva, Tiago Oliveira, Filipe Gonalves, Jos Neves, Ken Satoh, Paulo Novais |
| 2018 | WorldCIST | Satisfaction with e-participation: A Model from the Citizen's Perspective, Expectations, and Affective Ties to the Place. | Mijail Naranjo-Zolotov, Tiago Oliveira, Frederico Cruz-Jesus, Jos Martins |
| 2017 | CCS | Jasmin: High-Assurance and High-Speed Cryptography. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Hugo Pacheco, Benedikt Schmidt, Pierre-Yves Strub |
| 2017 | ICRA | Three dimensional moving path following for fixed-wing unmanned aerial vehicles. | Tiago Oliveira, A. Pedro Aguiar, Pedro Encarnao |
| 2017 | IFSA | Online system identification based on a state-space neuro-fuzzy system. | Paulo Gil, Tiago Oliveira, Lus Brito Palma |
| 2017 | Middleware | Ginja: one-dollar cloud-based disaster recovery for databases. | Joel Alcntara, Tiago Oliveira, Alysson Bessani |
| 2017 | PAAMS | Transforming Medical Advice into Clinical Activities for Patient Follow-Up. | Antnio Silva, Tiago Oliveira, Jos Neves, Paulo Novais |
| 2017 | PAAMS | Developing an Individualized Survival Prediction Model for Rectal Cancer. | Ana Silva, Tiago Oliveira, Paulo Novais, Jos Neves |
| 2017 | WorldCIST | CompGuide: Acquisition and Editing of Computer-Interpretable Guidelines. | Filipe Gonalves, Tiago Oliveira, Jos Neves, Paulo Novais |
| 2017 | SRDS | A Practical Framework for Privacy-Preserving NoSQL Databases. | Ricardo Macedo, Joo Paulo, Rogerio Pontes, Bernardo Portela, Tiago Oliveira, Miguel Matos, Rui Oliveira |
| 2016 | HCI | Questing Ruins: A Game for a Digital Inclusion. | Regina de O. Heidrich, Francisco Rebelo, Marsal Branco, Joo Batista Mossmann, Anderson Schuh, Emely Jensen, Tiago Oliveira |
| 2016 | IDC | A Speculative Computation Approach for Conflict Styles Assessment with Incomplete Information. | Marco Gomes, Tiago Oliveira, Paulo Novais |
| 2016 | OPODIS | Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations. | Tiago Oliveira, Ricardo Mendes, Alysson Neves Bessani |
| 2016 | PAAMS | Orientation System Based on Speculative Computation and Trajectory Mining. | Joo Ramos, Tiago Oliveira, Ken Satoh, Jos Neves, Paulo Novais |
| 2016 | WorldCIST | A Personal Assistant for Health Care Professionals Based on Clinical Protocols. | Tiago Oliveira, Antnio Silva, Jos Neves, Paulo Novais |
| 2015 | EuroSys | On the consistency of heterogeneous composite objects. | Alysson Neves Bessani, Ricardo Mendes, Tiago Oliveira |
| 2015 | HCI | A Comparative Study: Use of a Brain-Computer Interface (BCI) Device by People with Cerebral Palsy in Interaction with Computers. | Regina de O. Heidrich, Francisco Rebelo, Marsal Branco, Joo Batista Mossmann, Anderson Schuh, Emely Jensen, Tiago Oliveira |
| 2015 | INISTA | An alert mechanism for orientation systems based on Speculative computation. | Joo Ramos, Tiago Oliveira, Paulo Novais, Jos Neves, Ken Satoh |
| 2015 | IDC | A Reasoning Module for Distributed Clinical Decision Support Systems. | Tiago Oliveira, Ken Satoh, Paulo Novais, Jos Neves, Pedro Leo, Hiroshi Hosobe |
| 2015 | PAAMS | Assessing an Ontology for the Representation of Clinical Protocols in Decision Support Systems. | Tiago Oliveira, Paulo Novais, Jos Neves |
| 2014 | CBMS | Applying Speculative Computation to Guideline-Based Decision Support Systems. | Tiago Oliveira, Jos Neves, Paulo Novais, Ken Satoh |
| 2014 | EuroPar | Sharing Files Using Cloud Storage Services. | Tiago Oliveira, Ricardo Mendes, Alysson Neves Bessani |
| 2014 | PAAMS | Webifying the Computerized Execution of Clinical Practice Guidelines. | Tiago Oliveira, Pedro Leo, Paulo Novais, Jos Neves |
| 2014 | WEBIST | Electronic Health Record Portal Adoption by Health Care Consumers - Proposal of a New Adoption Model. | Jorge Tavares, Tiago Oliveira |
| 2014 | USENIX | SCFS: A Shared Cloud-backed File System. | Alysson Neves Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Verssimo |
| 2013 | CBMS | A prognosis system for colorectal cancer. | Tiago Oliveira, Ernesto Barbosa, Sandra Martins, Andre Goulart, Joo Neves, Paulo Novais |
| 2013 | HAIS | Clinical Careflows Aided by Uncertainty Representation Models. | Tiago Oliveira, Joo Neves, Ernesto Barbosa, Paulo Novais |
| 2013 | PAAMS | Extracting Behavioural Patterns from a Negotiation Game. | Marco Gomes, Tiago Oliveira, Davide Carneiro, Paulo Novais, Jos Neves |
| 2013 | PAAMS | Representation of Clinical Practice Guideline Components in OWL. | Tiago Oliveira, Paulo Novais, Jos Neves |
| 2012 | DCAI | An Interpretable Guideline Model to Handle Incomplete Information. | Tiago Oliveira, Joo Neves, ngelo Costa, Paulo Novais, Jos Neves |
| 2012 | SEC | When Convenience Trumps Security: Defining Objectives for Security and Usability of Systems. | Gurpreet Dhillon, Tiago Oliveira, Santa R. Susarapu, Mrio M. Caldeira |