| 2017 | DSN | Demonstrating a Tool for Injection Attack Prevention in MySQL. | Iberia Medeiros, Miguel Beatriz, Nuno Ferreira Neves, Miguel Correia |
| 2017 | DSN | Secure Tera-scale Data Crunching with a Small TCB. | Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste |
| 2017 | EDCC | On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. | Paulo Jorge Costa Nunes, Iberia Medeiros, Jos Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira |
| 2017 | GLOBECOM | A Resilient Stream Learning Intrusion Detection Mechanism for Real-Time Analysis of Network Traffic. | Eduardo Viegas, Altair Olivo Santin, Nuno Ferreira Neves, Alysson Bessani, Vilmar Abreu |
| 2016 | DSN | Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report. | Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia |
| 2016 | DSN | Secure Identification of Actively Executed Code on a Generic Trusted Component. | Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste |
| 2016 | ISSTA | DEKANT: a static analysis tool that learns to detect web application vulnerabilities. | Ibria Medeiros, Nuno Ferreira Neves, Miguel Correia |
| 2015 | SRDS | Securing Passive Replication through Verification. | Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste |
| 2014 | WWW | Automatic detection and correction of web application vulnerabilities using data mining to predict false positives. | Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia |
| 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 | DSN | An intrusion-tolerant firewall design for protecting SIEM systems. | Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani |
| 2013 | INDIN | Securing energy metering software with automatic source code correction. | Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia |
| 2013 | USENIX | On the Efficiency of Durable State Machine Replication. | Alysson Neves Bessani, Marcel Santos, Joo Felix, Nuno Ferreira Neves, Miguel Correia |
| 2012 | ISSRE | Recycling Test Cases to Detect Security Vulnerabilities. | Joo Antunes, Nuno Ferreira Neves |
| 2012 | SRDS | Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions. | Bruno Vavala, Nuno Ferreira Neves |
| 2011 | DSN | OS diversity for intrusion tolerance: Myth or reality? | Miguel Garcia, Alysson Neves Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro |
| 2011 | ISSRE | Using Behavioral Profiles to Detect Software Flaws in Network Servers. | Joo Antunes, Nuno Ferreira Neves |
| 2011 | SRDS | DiveInto: Supporting Diversity in Intrusion-Tolerant Systems. | Joo Antunes, Nuno Ferreira Neves |
| 2010 | DSN | Turquois: Byzantine consensus in wireless ad hoc networks. | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia |
| 2009 | DSN | Intrusion-tolerant self-healing devices for critical infrastructure protection. | Paulo Sousa, Alysson Neves Bessani, Wagner Saback Dantas, Fabio Souto, Miguel Correia, Nuno Ferreira Neves |
| 2008 | EDCC | Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities. | Manuel Mendona, Nuno Ferreira Neves |
| 2008 | ISSRE | Detection and Prediction of Resource-Exhaustion Vulnerabilities. | Joo Antunes, Nuno Ferreira Neves, Paulo Verssimo |
| 2007 | DSN | Robustness Testing of the Windows DDK. | Manuel Mendona, Nuno Ferreira Neves |
| 2007 | ICSE | The CRUTIAL Architecture for Critical Information Infrastructures. | Paulo Verssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone |
| 2007 | PRDC | Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antnio Casimiro, Paulo Verssimo |
| 2007 | PRDC | Resilient Intrusion Tolerance through Proactive and Reactive Recovery. | Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verssimo |
| 2006 | CRITIS | CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. | Paulo Verssimo, Nuno Ferreira Neves, Miguel Correia |
| 2006 | DSN | Randomized Intrusion-Tolerant Asynchronous Services. | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verssimo |
| 2006 | DSN | Using Attack Injection to Discover New Vulnerabilities. | Nuno Ferreira Neves, Joo Antunes, Miguel Correia, Paulo Verssimo, Rui Ferreira Neves |
| 2006 | SAC | Proactive resilience through architectural hybridization. | Paulo Sousa, Nuno Ferreira Neves, Paulo Verssimo |
| 2006 | SRDS | Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verssimo |
| 2006 | SRDS | Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. | Paulo Sousa, Nuno Ferreira Neves, Paulo Verssimo, William H. Sanders |
| 2005 | DSN | How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? | Paulo Sousa, Nuno Ferreira Neves, Paulo Verssimo |
| 2005 | PRDC | Resilient State Machine Replication. | Paulo Sousa, Nuno Ferreira Neves, Paulo Verssimo |
| 2004 | SRDS | How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. | Miguel Correia, Nuno Ferreira Neves, Paulo Verssimo |
| 2002 | EDCC | The Design of a COTSReal-Time Distributed Security Kernel. | Miguel Correia, Paulo Verssimo, Nuno Ferreira Neves |
| 2002 | ICSE | Intrusion-Tolerant Architectures: Concepts and Design. | Paulo Verssimo, Nuno Ferreira Neves, Miguel Correia |
| 2002 | SRDS | Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. | Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Verssimo |
| 1997 | SRDS | Fault Detection Using Hints from the Socket Layer. | Nuno Ferreira Neves, W. Kent Fuchs |