MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel. - Miguel Castro 001; Nuno Neves 001; Pedro Trancuso; Pedro Manuel Antunes Sousa (USENIX MACH Symposium, 1993)

A Checkpoint Protocol for an Entry Consistent Shared Memory System. - Nuno Neves 001; Miguel Castro 001; Paulo Guedes (PODC, 1994)

The DiSOM Distributed Shared Object Memory. - Paulo Guedes; Miguel Castro 001; Nuno Neves 001 (ACM SIGOPS European Workshop, 1994)

Orthogonal Persistence in a Heterogeneous Distributed Object-Oriented Environment. - Pedro Manuel Antunes Sousa; Andre Zuquete; Nuno Neves 001; José Alves Marques (Comput. J., 1994)

A Study of a Non-Linear Optimization Problem Using a Distributed Genetic Algorithm. - Nuno Neves 001; Anthony-Trung Nguyen; Edgar L. Torres (ICPP, Vol. 2, 1996)

Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. - Manuel Costa; Paulo Guedes; Manuel Sequeira; Nuno Neves 001; Miguel Castro 001 (OSDI, 1996)

Fault Detection Using Hints from the Socket Layer. - Nuno Ferreira Neves; W. Kent Fuchs (SRDS, 1997)

Adaptive Recovery for Mobile Environments. - Nuno Neves 001; W. Kent Fuchs (Commun. ACM, 1997)

RENEW: A Tool for Fast and Efficient Implementation of Checkpoint Protocols. - Nuno Neves 001; W. Kent Fuchs (FTCS, 1998)

Time-Based Coordinated Checkpointing - Nuno Neves 001 (1998)

The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. - Miguel Correia 001; Paulo Veríssimo; Nuno Ferreira Neves (ICDCS Workshops, 2001)

The Design of a COTSReal-Time Distributed Security Kernel. - Miguel Correia 001; Paulo Veríssimo; Nuno Ferreira Neves (EDCC, 2002)

Intrusion-Tolerant Architectures: Concepts and Design. - Paulo Veríssimo; Nuno Ferreira Neves; Miguel Correia 001 (WADS, 2002)

Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. - Miguel Correia 001; Lau Cheuk Lung; Nuno Ferreira Neves; Paulo Veríssimo (SRDS, 2002)

Tolerating Intrusions in Grid Systems. - Luis Sardinha; Nuno Ferreira Neves; Paulo Veríssimo (Security and Management, 2004)

Secure Application Updates on Point of Sale Devices. - Manuel Mendonça; Nuno Ferreira Neves (ICETE (2), 2004)

How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. - Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (SRDS, 2004)

How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? - Paulo Sousa 001; Nuno Ferreira Neves; Paulo Veríssimo (DSN, 2005)

Resilient State Machine Replication. - Paulo Sousa 001; Nuno Ferreira Neves; Paulo Veríssimo (PRDC, 2005)

Low complexity Byzantine-resilient consensus. - Miguel Correia 001; Nuno Ferreira Neves; Lau Cheuk Lung; Paulo Veríssimo (Distributed Comput., 2005)

Solving Vector Consensus with a Wormhole. - Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (IEEE Trans. Parallel Distributed Syst., 2005)

CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. - Paulo Veríssimo; Nuno Ferreira Neves; Miguel Correia 001 (CRITIS, 2006)

Randomized Intrusion-Tolerant Asynchronous Services. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (DSN, 2006)

Using Attack Injection to Discover New Vulnerabilities. - Nuno Ferreira Neves; João Antunes; Miguel Correia 001; Paulo Veríssimo; Rui Ferreira Neves (DSN, 2006)

Proactive resilience through architectural hybridization. - Paulo Sousa 001; Nuno Ferreira Neves; Paulo Veríssimo (SAC, 2006)

Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (SRDS, 2006)

Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. - Paulo Sousa 001; Nuno Ferreira Neves; Paulo Veríssimo; William H. Sanders (SRDS, 2006)

From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. - Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (Comput. J., 2006)

Intrusion-tolerant middleware: the road to automatic security. - Paulo Veríssimo; Nuno Ferreira Neves; Christian Cachin; Jonathan A. Poritz; David Powell; Yves Deswarte; Robert J. Stroud; Ian Welch (IEEE Secur. Priv., 2006)

Robustness Testing of the Windows DDK. - Manuel Mendonça; Nuno Ferreira Neves (DSN, 2007)

Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities. - Manuel Mendonça; Nuno Ferreira Neves (HASE, 2007)

The CRUTIAL Architecture for Critical Information Infrastructures. - Paulo Veríssimo; Nuno Ferreira Neves; Miguel Correia 001; Yves Deswarte; Anas Abou El Kalam; Andrea Bondavalli; Alessandro Daidone (WADS, 2007)

Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; António Casimiro; Paulo Veríssimo (PRDC, 2007)

Resilient Intrusion Tolerance through Proactive and Reactive Recovery. - Paulo Sousa 001; Alysson Neves Bessani; Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (PRDC, 2007)

When 3f+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus. - Alysson Neves Bessani; Miguel Correia 001; Henrique Moniz; Nuno Ferreira Neves; Paulo Veríssimo (DISC, 2007)

Worm-IT - A wormhole-based intrusion-tolerant group communication system. - Miguel Correia 001; Nuno Ferreira Neves; Lau Cheuk Lung; Paulo Veríssimo (J. Syst. Softw., 2007)

Detection and Prediction of Resource-Exhaustion Vulnerabilities. - João Antunes; Nuno Ferreira Neves; Paulo Veríssimo (ISSRE, 2008)

The Crutial Way of Critical Infrastructure Protection. - Alysson Neves Bessani; Paulo Sousa 001; Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (IEEE Secur. Priv., 2008)

The CRUTIAL reference critical information infrastructure architecture: a blueprint. - Paulo Veríssimo; Nuno Ferreira Neves; Miguel Correia 001 (Int. J. Syst. Syst. Eng., 2008)

Intrusion-tolerant self-healing devices for critical infrastructure protection. - Paulo Sousa 001; Alysson Neves Bessani; Wagner Saback Dantas; Fabio Souto; Miguel Correia 001; Nuno Ferreira Neves (DSN, 2009)

Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. - Paulo Veríssimo; Alysson Neves Bessani; Miguel Correia 001; Nuno Ferreira Neves; Paulo Sousa 001 (HICSS, 2009)

Turquois: Byzantine consensus in wireless ad hoc networks. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001 (DSN, 2010)

Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery. - Paulo Sousa 001; Alysson Neves Bessani; Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (IEEE Trans. Parallel Distributed Syst., 2010)

Vulnerability Discovery with Attack Injection. - João Antunes; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo; Rui Ferreira Neves (IEEE Trans. Software Eng., 2010)

OS diversity for intrusion tolerance: Myth or reality? - Miguel Garcia 002; Alysson Neves Bessani; Ilir Gashi; Nuno Ferreira Neves; Rafael R. Obelheiro (DSN, 2011)

Automatically complementing protocol specifications from network traces. - João Antunes; Nuno Ferreira Neves (EWDC, 2011)

Using Behavioral Profiles to Detect Software Flaws in Network Servers. - João Antunes; Nuno Ferreira Neves (ISSRE, 2011)

DiveInto: Supporting Diversity in Intrusion-Tolerant Systems. - João Antunes; Nuno Ferreira Neves (SRDS, 2011)

Reverse Engineering of Protocols from Network Traces. - João Antunes; Nuno Ferreira Neves; Paulo Veríssimo (WCRE, 2011)

Randomization can be a healer: consensus with dynamic omission failures. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (Distributed Comput., 2011)

Byzantine consensus in asynchronous message-passing systems: a survey. - Miguel Correia 001; Giuliana Santos Veronese; Nuno Ferreira Neves; Paulo Veríssimo (Int. J. Crit. Comput. Based Syst., 2011)

RITAS: Services for Randomized Intrusion Tolerance. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (IEEE Trans. Dependable Secur. Comput., 2011)

Recycling Test Cases to Detect Security Vulnerabilities. - João Antunes; Nuno Ferreira Neves (ISSRE, 2012)

Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions. - Bruno Vavala; Nuno Ferreira Neves (SRDS, 2012)

An intrusion-tolerant firewall design for protecting SIEM systems. - Miguel Garcia 002; Nuno Ferreira Neves; Alysson Bessani (DSN Workshops, 2013)

Intercept: Profiling Windows Network Device Drivers. - Manuel Mendonça; Nuno Ferreira Neves (EWDC, 2013)

PACE your network: Fair and controllable multi-tenant data center networks. - Tiago Carvalho 006; Hyong S. Kim 001; Nuno Neves 001 (ICC, 2013)

Securing energy metering software with automatic source code correction. - Iberia Medeiros; Nuno Ferreira Neves; Miguel Correia 001 (INDIN, 2013)

On the Efficiency of Durable State Machine Replication. - Alysson Neves Bessani; Marcel Santos; João Felix; Nuno Ferreira Neves; Miguel Correia 001 (USENIX ATC, 2013)

BFT-TO: Intrusion Tolerance with Less Replicas. - Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (Comput. J., 2013)

Byzantine Fault-Tolerant Consensus in Wireless Ad Hoc Networks. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001 (IEEE Trans. Mob. Comput., 2013)

Stopping a Rapid Tornado with a Puff. - José Lopes; Nuno Neves 001 (IEEE Symposium on Security and Privacy, 2014)

SCFS: A Shared Cloud-backed File System. - Alysson Neves Bessani; Ricardo Mendes; Tiago Oliveira 008; Nuno Ferreira Neves; Miguel Correia 001; Marcelo Pasin; Paulo Veríssimo (USENIX ATC, 2014)

Automatic detection and correction of web application vulnerabilities using data mining to predict false positives. - Iberia Medeiros; Nuno Ferreira Neves; Miguel Correia 001 (WWW, 2014)

Analysis of operating system diversity for intrusion tolerance. - Miguel Garcia 002; Alysson Neves Bessani; Ilir Gashi; Nuno Ferreira Neves; Rafael R. Obelheiro (Softw. Pract. Exp., 2014)

Securing Passive Replication through Verification. - Bruno Vavala; Nuno Ferreira Neves; Peter Steenkiste (SRDS, 2015)

Hacking the DBMS to Prevent Injection Attacks. - Iberia Medeiros; Miguel Beatriz; Nuno Ferreira Neves; Miguel Correia 001 (CODASPY, 2016)

Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report. - Iberia Medeiros; Nuno Ferreira Neves; Miguel Correia 001 (DSN, 2016)

Secure Identification of Actively Executed Code on a Generic Trusted Component. - Bruno Vavala; Nuno Ferreira Neves; Peter Steenkiste (DSN, 2016)

DEKANT: a static analysis tool that learns to detect web application vulnerabilities. - Ibéria Medeiros; Nuno Ferreira Neves; Miguel Correia 001 (ISSTA, 2016)

(Literally) Above the clouds: Virtualizing the network over multiple clouds. - Max Alaluna; Fernando M. V. Ramos; Nuno Neves 001 (NetSoft, 2016)

User-Centric Security and Dependability in the Clouds-of-Clouds. - Marc Lacoste; Markus Miettinen; Nuno Neves 001; Fernando M. V. Ramos; Marko Vukolic; Fabien Charmet; Reda Yaich; Krzysztof Oborzynski; Gitesh Vernekar; Paulo Sousa 001 (IEEE Cloud Comput., 2016)

JITeR: Just-in-time application-layer routing. - Alysson Bessani; Nuno Ferreira Neves; Paulo Veríssimo; Wagner Saback Dantas; Alexandre Fonseca; Rui Silva; Pedro Luz; Miguel Correia 001 (Comput. Networks, 2016)

Secure and Dependable Virtual Network Embedding. - Luís Ferrolho; Max Alaluna; Nuno Neves 001; Fernando M. V. Ramos (CoRR, 2016)

Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining. - Iberia Medeiros; Nuno Ferreira Neves; Miguel Correia 001 (IEEE Trans. Reliab., 2016)

Demonstrating a Tool for Injection Attack Prevention in MySQL. - Iberia Medeiros; Miguel Beatriz; Nuno Ferreira Neves; Miguel Correia 001 (DSN, 2017)

Secure Tera-scale Data Crunching with a Small TCB. - Bruno Vavala; Nuno Ferreira Neves; Peter Steenkiste (DSN, 2017)

On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. - Paulo Jorge Costa Nunes; Iberia Medeiros; José Fonseca 002; Nuno Ferreira Neves; Miguel Correia 001; Marco Vieira (EDCC, 2017)

Secure and Dependable Multi-Cloud Network Virtualization. - Max Alaluna; Eric Vial; Nuno Neves 001; Fernando M. V. Ramos (XDOMO@EuroSys, 2017)

A Resilient Stream Learning Intrusion Detection Mechanism for Real-Time Analysis of Network Traffic. - Eduardo Viegas 001; Altair Olivo Santin; Nuno Ferreira Neves; Alysson Bessani; Vilmar Abreu (GLOBECOM, 2017)

Secure network monitoring using programmable data planes. - Fabio Pereira; Nuno Neves 001; Fernando M. V. Ramos (NFV-SDN, 2017)

Secure Virtual Network Embedding in a Multi-Cloud Environment. - Max Alaluna; Luís Ferrolho; José Rui Figueira; Nuno Neves 001; Fernando M. V. Ramos (CoRR, 2017)

Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework. - Henrique Mendes; Iberia Medeiros; Nuno Neves 001 (DSN Workshops, 2018)

On the Challenges of Building a BFT SCADA. - André Nogueira; Miguel Garcia 002; Alysson Bessani; Nuno Neves 001 (DSN, 2018)

Detecting Network Threats using OSINT Knowledge-Based IDS. - Ivo Vacas; Iberia Medeiros; Nuno Neves 001 (EDCC, 2018)

How blockchains can improve measuring instruments regulation and control. - Wilson S. Melo; Luiz F. R. C. Carmo; Alysson Bessani; Nuno Neves 001; Altair Olivo Santin (I2MTC, 2018)

SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants. - David R. Matos; Nuno Neves 001; Alysson Bessani (CoRR, 2018)

SieveQ: A Layered BFT Protection System for Critical Services. - Miguel Garcia 002; Nuno Neves 001; Alysson Bessani (IEEE Trans. Dependable Secur. Comput., 2018)

Benchmarking Static Analysis Tools for Web Security. - Paulo Jorge Costa Nunes; Iberia Medeiros; José Fonseca 002; Nuno Neves 001; Miguel Correia 001; Marco Vieira (IEEE Trans. Reliab., 2018)

Lazarus: Automatic Management of Diversity in BFT Systems. - Miguel Garcia 002; Alysson Bessani; Nuno Neves 001 (Middleware, 2019)

Secure Multi-Cloud Network Virtualization. - Max Alaluna; Eric Vial; Nuno Neves 001; Fernando M. V. Ramos (Comput. Networks, 2019)

An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios. - Paulo Jorge Costa Nunes; Ibéria Medeiros; José Fonseca 002; Nuno Neves 001; Miguel Correia 001; Marco Vieira (Computing, 2019)

BigFlow: Real-time and reliable anomaly-based intrusion detection for high-speed networks. - Eduardo Viegas 001; Altair Olivo Santin; Alysson Bessani; Nuno Neves 001 (Future Gener. Comput. Syst., 2019)

Using Blockchains to Implement Distributed Measuring Systems. - Wilson S. Melo; Alysson Bessani; Nuno Neves 001; Altair Olivo Santin; Luiz Fernando Rust da Costa Carmo (IEEE Trans. Instrum. Meas., 2019)

SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS. - Ibéria Medeiros; Miguel Beatriz; Nuno Neves 001; Miguel Correia 001 (IEEE Trans. Reliab., 2019)

Industrial and Artificial Internet of Things with Augmented Reality. - Pedro Gomes; Naércio Magaia; Nuno Neves 001 (Convergence of Artificial Intelligence and the Internet of Things, 2020)

Impact of Coding Styles on Behaviours of Static Analysis Tools for Web Applications. - Ibéria Medeiros; Nuno Neves 001 (DSN (Supplements), 2020)

Effect of Coding Styles in Detection of Web Application Vulnerabilities. - Ibéria Medeiros; Nuno Neves 001 (EDCC, 2020)

Towards Web Application Security by Automated Code Correction. - Ricardo Morgado; Ibéria Medeiros; Nuno Neves 001 (ENASE, 2020)

Generating Tests for the Discovery of Security Flaws in Product Variants. - Francisco Araújo; Ibéria Medeiros; Nuno Neves 001 (ICST Workshops, 2020)

Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants. - Ana Fidalgo; Ibéria Medeiros; Paulo Antunes 002; Nuno Neves 001 (ICST Workshops, 2020)

Elastic Network Virtualization. - Max Alaluna; Nuno Neves 001; Fernando M. V. Ramos (INFOCOM, 2020)

Secure multi-cloud virtual network embedding. - Max Alaluna; Luís Ferrolho; José Rui Figueira; Nuno Neves 001; Fernando M. V. Ramos (Comput. Commun., 2020)

Charon: A Secure Cloud-of-Clouds System for Storing and Sharing Big Data. - Ricardo Mendes; Tiago Oliveira 008; Vinicius Vielmo Cogo; Nuno Neves 001; Alysson Bessani (IEEE Trans. Cloud Comput., 2021)

Towards Fuzzing Target Lines. - Nuno Neves 001 (DSN (Supplements), 2022)

Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages. - Ibéria Medeiros; Nuno Neves 001; Miguel Correia 001 (IEEE Trans. Reliab., 2022)

Towards PHP Vulnerability Detection at an Intermediate Language Level. - Paulo Antunes 002; Ibéria Medeiros; Nuno Neves 001 (DSN-S, 2023)

FADO: A Federated Learning Attack and Defense Orchestrator. - Filipe Rodrigues; Rodrigo Simões; Nuno Neves 001 (DSN-W, 2023)

Mingling with the Good to Backdoor Federated Learning. - Nuno Neves 001 (CoRR, 2025)