dblp.uni-trier.dewww.uni-trier.de

Nuno Ferreira Neves

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
26EEPaulo 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: 1-8
2008
25EEJoão Antunes, Nuno Ferreira Neves, Paulo Veríssimo: Detection and Prediction of Resource-Exhaustion Vulnerabilities. ISSRE 2008: 87-96
2007
24EEAlysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Veríssimo: When 3f+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus. DISC 2007: 480-481
23EEManuel Mendonça, Nuno Ferreira Neves: Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities. HASE 2007: 379-380
22EEHenrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antonio Casimiro, Paulo Veríssimo: Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC 2007: 357-364
21EEPaulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: Resilient Intrusion Tolerance through Proactive and Reactive Recovery. PRDC 2007: 373-380
20EEPaulo 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: 1-27
19EEMiguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo: Worm-IT - A wormhole-based intrusion-tolerant group communication system. Journal of Systems and Software 80(2): 178-197 (2007)
2006
18EEPaulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. CRITIS 2006: 1-14
17EENuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Neves: Using Attack Injection to Discover New Vulnerabilities. DSN 2006: 457-466
16EEHenrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Randomized Intrusion-Tolerant Asynchronous Services. DSN 2006: 568-577
15EEPaulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo: Proactive resilience through architectural hybridization. SAC 2006: 686-690
14EEHenrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. SRDS 2006: 235-244
13EEPaulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders: Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. SRDS 2006: 71-82
12EEMiguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. Comput. J. 49(1): 82-96 (2006)
2005
11EEPaulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo: How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? DSN 2005: 98-107
10EEPaulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo: Resilient State Machine Replication. PRDC 2005: 305-309
9EEMiguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo: Low complexity Byzantine-resilient consensus. Distributed Computing 17(3): 237-249 (2005)
8EENuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Solving Vector Consensus with a Wormhole. IEEE Trans. Parallel Distrib. Syst. 16(12): 1120-1131 (2005)
2004
7 Manuel Mendonça, Nuno Ferreira Neves: Secure Application Updates on Point of Sale Devices. ICETE (2) 2004: 38-45
6EEMiguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. SRDS 2004: 174-183
5 Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo: Tolerating Intrusions in Grid Systems. Security and Management 2004: 207-220
2002
4EEMiguel Correia, Paulo Veríssimo, Nuno Ferreira Neves: The Design of a COTSReal-Time Distributed Security Kernel. EDCC 2002: 234-252
3EEMiguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo: Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. SRDS 2002: 2-11
2EEPaulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: Intrusion-Tolerant Architectures: Concepts and Design. WADS 2002: 3-36
2001
1EEMiguel Correia, Paulo Veríssimo, Nuno Ferreira Neves: The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. ICDCS Workshops 2001: 17-24

Coauthor Index

1João Antunes [17] [25]
2Alysson Neves Bessani [21] [24] [26]
3Andrea Bondavalli [20]
4Antonio Casimiro [22]
5Miguel Correia [1] [2] [3] [4] [6] [8] [9] [12] [14] [16] [17] [18] [19] [20] [21] [22] [24] [26]
6Alessandro Daidone [20]
7Yves Deswarte [20]
8Anas Abou El Kalam [20]
9Lau Cheuk Lung [3] [9] [19]
10Manuel Mendonça [7] [23]
11Henrique Moniz [14] [16] [22] [24]
12Rui Neves [17]
13William H. Sanders [13]
14Luis Sardinha [5]
15Paulo Sousa (Paulo Jorge Paiva de Sousa) [10] [11] [13] [15] [21] [26]
16Paulo Veríssimo [1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [24] [25] [26]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)