| 2026 | ASPLOS | Skyler: Static Analysis for Predicting API-Driven Costs in Serverless Applications. | Bernardo Ribeiro, Mafalda Ferreira, Jos Fragoso Santos, Rodrigo Bruno, Nuno Santos |
| 2026 | TACAS | Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml. | Joo Madeira Pereira, Filipe Marques, Pedro Ado, Hichem Rami Ait El Hara, Lo Andrs, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, Jos Fragoso Santos |
| 2025 | AsiaCCS | Sounds Vishy: Automating Vishing Attacks with AI-Powered Systems. | Joo Figueiredo, Afonso Carvalho, Daniel Castro, Daniel Gonalves, Nuno Santos |
| 2025 | ICSE | Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses. | Rodrigo Pedro, Miguel E. Coimbra, Daniel Castro, Paulo Carreira, Nuno Santos |
| 2025 | NCA | Poster: Secure Lifecycle Management of Confidential Virtual Machines in Public Clouds. | Joo Sereno, Daniel Castro, Nuno Santos, Lus Rodrigues |
| 2025 | VR | A Toolkit for Creating Intelligent Virtual Humans in Extended Reality. | Fariba Mostajeran, Ke Li, Sebastian Rings, Lucie Kruse, Erik Wolf, Susanne Schmidt, Michael Arz, Joan Llobera, Pierre Nagorny, Caecilia Charbonnier, Hannes Fassold, Xenxo Alvarez, Andr Tavares, Nuno Santos, Joo Orvalho, Sergi Fernndez, Frank Steinicke |
| 2025 | SIGMETRICS | Confidential VMs Explained: An Empirical Analysis of AMD SEV-SNP and Intel TDX. | Masanori Misono, Dimitrios Stavrakakis, Nuno Santos, Pramod Bhatotia |
| 2024 | NDSS | Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum. | Daniela Lopes, Jin-Dong Dong, Pedro Medeiros, Daniel Castro, Diogo Barradas, Bernardo Portela, Joo Vinagre, Bernardo Ferreira, Nicolas Christin, Nuno Santos |
| 2024 | RAID | Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware. | Diogo Barradas, Carlos Novo, Bernardo Portela, Sofia Romeiro, Nuno Santos |
| 2023 | SP | RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks. | Mafalda Ferreira, Tiago Brito, Jos Fragoso Santos, Nuno Santos |
| 2022 | AsiaCCS | Stegozoa: Enhancing WebRTC Covert Channels with Video Steganography for Internet Censorship Circumvention. | Gabriel Figueira, Diogo Barradas, Nuno Santos |
| 2022 | CCS | Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks. | Mafalda Ferreira, Tiago Brito, Jos Fragoso Santos, Nuno Santos |
| 2022 | CCS | Poster: User Sessions on Tor Onion Services: Can Colluding ISPs Deanonymize Them at Scale? | Daniela Lopes, Pedro Medeiros, Jin-Dong Dong, Diogo Barradas, Bernardo Portela, Joo Vinagre, Bernardo Ferreira, Nicolas Christin, Nuno Santos |
| 2022 | ECOOP | Concolic Execution for WebAssembly. | Filipe Marques, Jos Fragoso Santos, Nuno Santos, Pedro Ado |
| 2022 | SIGMOD | Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures. | Harshavardhan Unnibhavi, David Cerdeira, Antonio Barbalace, Nuno Santos, Pramod Bhatotia |
| 2021 | ICCSA | Expert System that Assists the Cultivation of Mandacaru Aimed at the Production of Water and Food in the Interior of Northeastern Brazil. | Juliana Vieira de Carvalho, Caique Zaneti Kirilo, Marcelo Nogueira, Luiz Carlos Machi Lozano, lvaro Andr Colombero Prado, Jssica Santo, Nuno Santos, Ricardo J. Machado |
| 2021 | ICCSA | Home Automation for People with Autism Spectrum Disorder. | Jssica Santo, Caique Zaneti Kirilo, Marcelo Nogueira, Nuno Santos, Ricardo J. Machado, Luiz Carlos Machi Lozano, lvaro Andr Colombero Prado, Juliana Carvalho |
| 2021 | NDSS | FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications. | Diogo Barradas, Nuno Santos, Lus Rodrigues, Salvatore Signorello, Fernando M. V. Ramos, Andr Madeira |
| 2020 | CCS | Poking a Hole in the Wall: Efficient Censorship-Resistant Internet Communications by Parasitizing on WebRTC. | Diogo Barradas, Nuno Santos, Lus E. T. Rodrigues, Vtor Nunes |
| 2020 | ICCSA | Embedded System to Support Skin Cancer Recognition. | Gabriel de A. Batista, Marcelo Nogueira, Nuno Santos, Ricardo J. Machado |
| 2020 | ICCSA | Does the Lean Inception Methodology Contribute to the Software Project Initiation Phase? | Igor Braga, Marcelo Nogueira, Nuno Santos, Ricardo J. Machado |
| 2020 | ICSA | A Complexity Metric for Microservices Architecture Migration. | Nuno Santos, Antnio Rito Silva |
| 2020 | Middleware | Towards a Scalable Censorship-Resistant Overlay Network based on WebRTC Covert Channels. | Diogo Barradas, Nuno Santos |
| 2020 | Mobiquitous | My House, My Rules: A Private-by-Design Smart Home Platform. | Igor Zavalyshyn, Nuno Santos, Ramin Sadre, Axel Legay |
| 2020 | SAC | Censorship-resistant web annotations based on ethereum and IPFS. | Joo Santos, Nuno Santos, David Dias |
| 2020 | TrustCom | Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications. | Eduardo Gomes, Igor Zavalyshyn, Nuno Santos, Joo Silva, Axel Legay |
| 2020 | SP | SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-assisted TEE Systems. | David Cerdeira, Nuno Santos, Pedro Fonseca, Sandro Pinto |
| 2019 | ECSA | A logical architecture design method for microservices architectures. | Nuno Santos, Carlos E. Salgado, Francisco Morais, Mnica Melo, Sara Silva, Raquel Martins, Marco Pereira, Helena Rodrigues, Ricardo J. Machado, Nuno Ferreira, Manuel Pereira |
| 2019 | ECSA | From a Monolith to a Microservices Architecture: An Approach Based on Transactional Contexts. | Lus Nunes, Nuno Santos, Antnio Rito Silva |
| 2019 | PROFES | Inputs from a Model-Based Approach Towards the Specification of Microservices Logical Architectures: An Experience Report. | Nuno Santos, Helena Rodrigues, Nuno Ferreira, Ricardo J. Machado |
| 2018 | CaiSE | An Agile Modeling Oriented Process for Logical Architecture Design. | Nuno Santos, Jaime Pereira, Francisco Morais, Jlio Barros, Nuno Ferreira, Ricardo J. Machado |
| 2018 | Mobiquitous | Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions. | Nuno O. Duarte, Sileshi Demesie Yalew, Nuno Santos, Miguel Correia |
| 2018 | PROFES | Modeling in Agile Software Development: Decomposing Use Cases Towards Logical Architecture Design. | Nuno Santos, Jaime Pereira, Nuno Ferreira, Ricardo J. Machado |
| 2017 | MOBIHOC | TrUbi: A System for Dynamically Constraining Mobile Devices within Restrictive Usage Scenarios. | Miguel B. Costa, Nuno O. Duarte, Nuno Santos, Paulo Ferreira |
| 2017 | SECRYPT | Forensic Analysis of Communication Records of Web-based Messaging Applications from Physical Memory. | Diogo Barradas, Tiago Brito, David Duarte, Nuno Santos, Lus E. T. Rodrigues |
| 2016 | ICCSA | Using Scrum Together with UML Models: A Collaborative University-Industry R&D Software Project. | Nuno Santos, Joo M. Fernandes, Maria Sameiro Carvalho, Pedro V. Silva, Fbio A. Fernandes, Mrcio P. Rebelo, Diogo Barbosa, Paulo Maia, Marco Couto, Ricardo J. Machado |
| 2016 | ICIN | Global Identity and Reachability Framework for Interoperable P2P Communication Services. | Ibrahim Tariq Javed, Rebecca Copeland, Nol Crespi, Felix Beierle, Sebastian Gndr, Axel Kpper, Ahmed Bouabdallah, Marc Emmelmann, Andreea Ancuta Corici, Kevin Corre, Jean-Michel Crom, Frank Oberle, Ingo Friese, Ana Caldeira, Gil Dias, Ricardo Chaves, Nuno Santos |
| 2016 | QUATIC | Adopting Logical Architectures within Agile Projects. | Nuno Santos, Ricardo J. Machado, Nuno Ferreira |
| 2016 | SRDS | ARM TrustZone for Secure Image Processing on the Cloud. | Tiago Brito, Nuno O. Duarte, Nuno Santos |
| 2016 | SRDS | ShareIff: A Sticky Policy Middleware for Self-Destructing Messages in Android Applications. | Antonio Goulao, Nuno O. Duarte, Nuno Santos |
| 2016 | SRDS | Storekeeper: A Security-Enhanced Cloud Storage Aggregation Service. | Sancha Pereira, Andr Alves, Nuno Santos, Ricardo Chaves |
| 2015 | HotOS | A Case for Enforcing App-Specific Constraints to Mobile Devices by Using Trust Leases. | Nuno Santos, Nuno O. Duarte, Miguel B. Costa, Paulo Ferreira |
| 2015 | ICCSA | Deriving UML Logical Architectures of Traceability Business Processes Based on a GS1 Standard. | Rui Neiva, Nuno Santos, Jose C. C. Martins, Ricardo J. Machado |
| 2014 | ASPLOS | Using ARM trustzone to build a trusted language runtime for mobile applications. | Nuno Santos, Himanshu Raj, Stefan Saroiu, Alec Wolman |
| 2014 | DCAI | Changing the Hidden Rules - An Excel Template for Discussing Soccer's Competitive Balance. | Joaquim Teixeira, Nuno Santos, Paulo Mouro |
| 2014 | ICCSA | Delivering User Stories for Implementing Logical Software Architectures by Multiple Scrum Teams. | Nuno Manuel Silva Costa, Nuno Santos, Nuno Ferreira, Ricardo Jorge Machado |
| 2014 | ICCSA | Modularization of Logical Software Architectures for Implementation with Multiple Teams. | Nuno Ferreira, Nuno Santos, Ricardo J. Machado |
| 2014 | ICCSA | Using the NIST Reference Model for Refining Logical Architectures. | Antnio Pereira, Ricardo Jorge Machado, Jos Eduardo Fernandes, Juliana Teixeira, Nuno Santos, Ana Lima |
| 2013 | ICDCS | Achieving High-Throughput State Machine Replication in Multi-core Systems. | Nuno Santos, Andr Schiper |
| 2012 | ICDCN | Tuning Paxos for High-Throughput with Batching and Pipelining. | Nuno Santos, Andr Schiper |
| 2012 | Middleware | Enhancing the OS against Security Threats in System Administration. | Nuno Santos, Rodrigo Rodrigues, Bryan Ford |
| 2012 | PROFES | Derivation of Process-Oriented Logical Architectures: An Elicitation Approach for Cloud Design. | Nuno Ferreira, Nuno Santos, Ricardo Jorge Machado, Dragan Gasevic |
| 2012 | SRDS | S-Paxos: Offloading the Leader for High Throughput State Machine Replication. | Martin Biely, Zarko Milosevic, Nuno Santos, Andr Schiper |
| 2010 | SRDS | Swift Algorithms for Repeated Consensus. | Fatemeh Borran, Martin Hutle, Nuno Santos, Andr Schiper |
| 2009 | SAC | Latency-aware leader election. | Nuno Santos, Martin Hutle, Andr Schiper |
| 2007 | Middleware | Vector-Field Consistency for Ad-Hoc Gaming. | Nuno Santos, Lus Veiga, Paulo Ferreira |
| 2006 | WoWMoM | Making Distributed Transactions Resilient to Intermittent Network Connections. | Nuno Santos, Paulo Ferreira |
| 2004 | ICPADS | Loosely-Coupled, Mobile Replication of Objects with Transactions. | Lus Veiga, Nuno Santos, Ricardo Lebre, Paulo Ferreira |
| 2003 | ICRA | Learning self-organizing maps for navigation in dynamic worlds. | Rui Arajo, Gonalo Gouveia, Nuno Santos |
| 2003 | Middleware | Dynamic Deployment of Services on Mobile Agents Systems. | Nuno Santos, Paulo Marques, Lus Moura Silva |