Nuno Ferreira Neves

Publication Activity (10 Years)

Years Active: 1997-2017
Publications (10 Years): 11

Top Topics

Intrusion Detection

Injection Attacks

Static Analysis

False Positives

Top Venues

USENIX Annual Technical Conference

Publications

Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste
Secure Tera-scale Data Crunching with a Small TCB. DSN (2017)
Paulo Jorge Costa Nunes, Iberia Medeiros, José Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira
On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. EDCC (2017)
Iberia Medeiros, Miguel Beatriz, Nuno Ferreira Neves, Miguel Correia
Demonstrating a Tool for Injection Attack Prevention in MySQL. DSN (2017)
Eduardo Viegas, Altair Olivo Santin, Nuno Ferreira Neves, Alysson Bessani, Vilmar Abreu
A Resilient Stream Learning Intrusion Detection Mechanism for Real-Time Analysis of Network Traffic. GLOBECOM (2017)
Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste
Secure Identification of Actively Executed Code on a Generic Trusted Component. DSN (2016)
Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia
DEKANT: a static analysis tool that learns to detect web application vulnerabilities. ISSTA (2016)
Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia
Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report. DSN (2016)
Alysson Bessani, Nuno Ferreira Neves, Paulo Veríssimo, Wagner Saback Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia
JITeR: Just-in-time application-layer routing. Comput. Networks 104 (2016)
Iberia Medeiros, Miguel Beatriz, Nuno Ferreira Neves, Miguel Correia
Hacking the DBMS to Prevent Injection Attacks. CODASPY (2016)
Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia
Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining. IEEE Trans. Reliab. 65 (1) (2016)
Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste
Securing Passive Replication through Verification. SRDS (2015)
Alysson Neves Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Veríssimo
SCFS: A Shared Cloud-backed File System. USENIX Annual Technical Conference (2014)
Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia
Automatic detection and correction of web application vulnerabilities using data mining to predict false positives. WWW (2014)
Miguel Garcia, Alysson Neves Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro
Analysis of operating system diversity for intrusion tolerance. Softw. Pract. Exp. 44 (6) (2014)
Alysson Neves Bessani, Marcel Santos, João Felix, Nuno Ferreira Neves, Miguel Correia
On the Efficiency of Durable State Machine Replication. USENIX Annual Technical Conference (2013)
Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani
An intrusion-tolerant firewall design for protecting SIEM systems. DSN Workshops (2013)
Manuel Mendonça, Nuno Ferreira Neves
Intercept: Profiling Windows Network Device Drivers. EWDC (2013)
Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia
Securing energy metering software with automatic source code correction. INDIN (2013)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia
Byzantine Fault-Tolerant Consensus in Wireless Ad Hoc Networks. IEEE Trans. Mob. Comput. 12 (12) (2013)
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
BFT-TO: Intrusion Tolerance with Less Replicas. Comput. J. 56 (6) (2013)
Bruno Vavala, Nuno Ferreira Neves
Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions. SRDS (2012)
João Antunes, Nuno Ferreira Neves
Recycling Test Cases to Detect Security Vulnerabilities. ISSRE (2012)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
Randomization can be a healer: consensus with dynamic omission failures. Distributed Comput. 24 (3-4) (2011)
João Antunes, Nuno Ferreira Neves
Automatically complementing protocol specifications from network traces. EWDC (2011)
João Antunes, Nuno Ferreira Neves, Paulo Veríssimo
Reverse Engineering of Protocols from Network Traces. WCRE (2011)
João Antunes, Nuno Ferreira Neves
Using Behavioral Profiles to Detect Software Flaws in Network Servers. ISSRE (2011)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
RITAS: Services for Randomized Intrusion Tolerance. IEEE Trans. Dependable Secur. Comput. 8 (1) (2011)
João Antunes, Nuno Ferreira Neves
DiveInto: Supporting Diversity in Intrusion-Tolerant Systems. SRDS (2011)
Miguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Veríssimo
Byzantine consensus in asynchronous message-passing systems: a survey. Int. J. Crit. Comput. Based Syst. 2 (2) (2011)
Miguel Garcia, Alysson Neves Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro
OS diversity for intrusion tolerance: Myth or reality? DSN (2011)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia
Turquois: Byzantine consensus in wireless ad hoc networks. DSN (2010)
João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Ferreira Neves
Vulnerability Discovery with Attack Injection. IEEE Trans. Software Eng. 36 (3) (2010)
Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery. IEEE Trans. Parallel Distributed Syst. 21 (4) (2010)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. DISC (2009)
Paulo Sousa, Alysson Neves Bessani, Wagner Saback Dantas, Fabio Souto, Miguel Correia, Nuno Ferreira Neves
Intrusion-tolerant self-healing devices for critical infrastructure protection. DSN (2009)
Paulo Veríssimo, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa
Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. HICSS (2009)
João Antunes, Nuno Ferreira Neves, Paulo Veríssimo
Detection and Prediction of Resource-Exhaustion Vulnerabilities. ISSRE (2008)
Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
The Crutial Way of Critical Infrastructure Protection. IEEE Secur. Priv. 6 (6) (2008)
Manuel Mendonça, Nuno Ferreira Neves
Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities. EDCC (2008)
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
The CRUTIAL reference critical information infrastructure architecture: a blueprint. Int. J. Syst. Syst. Eng. 1 (1/2) (2008)
Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Veríssimo
+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus. DISC (2007)
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone
The CRUTIAL Architecture for Critical Information Infrastructures. WADS (2007)
Manuel Mendonça, Nuno Ferreira Neves
Robustness Testing of the Windows DDK. DSN (2007)
Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
Resilient Intrusion Tolerance through Proactive and Reactive Recovery. PRDC (2007)
Manuel Mendonça, Nuno Ferreira Neves
Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities. HASE (2007)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Veríssimo
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC (2007)
Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
Worm-IT - A wormhole-based intrusion-tolerant group communication system. J. Syst. Softw. 80 (2) (2007)
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. CRITIS (2006)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. SRDS (2006)
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders
Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. SRDS (2006)
Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
Randomized Intrusion-Tolerant Asynchronous Services. DSN (2006)
Paulo Veríssimo, Nuno Ferreira Neves, Christian Cachin, Jonathan A. Poritz, David Powell, Yves Deswarte, Robert J. Stroud, Ian Welch
Intrusion-tolerant middleware: the road to automatic security. IEEE Secur. Priv. 4 (4) (2006)
Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Ferreira Neves
Using Attack Injection to Discover New Vulnerabilities. DSN (2006)
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
Proactive resilience through architectural hybridization. SAC (2006)
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. Comput. J. 49 (1) (2006)
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
Resilient State Machine Replication. PRDC (2005)
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? DSN (2005)
Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
Low complexity Byzantine-resilient consensus. Distributed Comput. 17 (3) (2005)
Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
Solving Vector Consensus with a Wormhole. IEEE Trans. Parallel Distributed Syst. 16 (12) (2005)
Manuel Mendonça, Nuno Ferreira Neves
Secure Application Updates on Point of Sale Devices. ICETE (2) (2004)
Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. SRDS (2004)
Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo
Tolerating Intrusions in Grid Systems. Security and Management (2004)
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
The Design of a COTSReal-Time Distributed Security Kernel. EDCC (2002)
Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo
Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. SRDS (2002)
Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
Intrusion-Tolerant Architectures: Concepts and Design. WADS (2002)
Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. ICDCS Workshops (2001)
Nuno Ferreira Neves, W. Kent Fuchs
Fault Detection Using Hints from the Socket Layer. SRDS (1997)