Nuno Ferreira Neves

67 papers A* 1A 17B 11C 5Misc 4Journal 17Unranked 12

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