Nuno Neves

Journal Article
Neves, N. Ferreira, "Locating file processing vulnerabilities", Fast abstract in Supplement of the Int. Conf. on Dependable Systems and Networks, 2006.
Conference Paper
Sousa, P., N. Ferreira Neves, P. Verissimo, and W. H. Sanders, "Proactive resilience revisited: The delicate balance between resisting intrusions and remaining available", Reliable Distributed Systems, 2006. SRDS'06. 25th IEEE Symposium on: IEEE, pp. 71–82, 2006.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Proactive resilience through architectural hybridization", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 686–690, 2006.
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "Randomized intrusion-tolerant asynchronous services", Dependable Systems and Networks, 2006. DSN 2006. International Conference on: IEEE, pp. 568–577, 2006.
Sousa, P., N. Ferreira Neves, A. Lopes, and P. Verissimo, "On the resilience of intrusion-tolerant distributed systems", DI/FCUL TR 06–14, DEP. OF INFORMATICS, UNIV. OF LISBON, SEPTEMBER 2006.–PRELIMINARY ARCHITECTURE SPECIFICATION PAGE 100, 2006.
Journal Article
Neves, N. Ferreira, P. Verissimo, P. Sousa, and A. Lopes, On the Resilience of Intrusion-Tolerant Distributed Systems, : Department of Informatics, University of Lisbon, 2006.
Conference Paper
Neves, N. Ferreira, J. Antunes, M. Correia, P. Verissimo, and R. Neves, "Using attack injection to discover new vulnerabilities", Dependable Systems and Networks, 2006. DSN 2006. International Conference on: IEEE, pp. 457–466, 2006.
Conference Paper
Sousa, P., N. Ferreira Neves, and P. Verissimo, "How resilient are distributed f fault/intrusion-tolerant systems?", Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on: IEEE, pp. 98–107, 2005.
Journal Article
Correia, M., A. Neves Bessani, N. Ferreira Neves, C. L Lung, and P. Verissimo, Improving Byzantine Protocols with Secure Computational Components, : Department of Informatics, University of Lisbon, 2005.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Low complexity Byzantine-resilient consensus", Distributed Computing, vol. 17, no. 3: Springer-Verlag, pp. 237–249, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "A New Approach to Proactive Recovery", Fifth European Dependable Computing Conference (EDCC-5) Supplemental Volume. Budapest, Hungary, pp. 35–40, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, Resilence State Machine Replication, , 2005.
Conference Paper
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Resilient state machine replication", Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on: IEEE, pp. 5–pp, 2005.
Journal Article
Neves, N. Ferreira, M. Correia, and P. Verissimo, "Solving vector consensus with a wormhole", Parallel and Distributed Systems, IEEE Transactions on, vol. 16, no. 12: IEEE, pp. 1120–1131, 2005.
Neves, N. Ferreira, Tolerância a Intrusões em Sistemas Informáticos, : Department of Informatics, University of Lisbon, 2005.
Jieke, P., M. Correia, N. Ferreira Neves, P. Verissimo, SA. Siemens, and R. Irmãos Siemens, "Um Núcleo de Segurança Distribu{ído para Suporte a Protocolos Tolerantes a Intrusões", 1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, 2005.
Mendonca, M., and N. Ferreira Neves, "Actualização Segura e Automática de Aplicações em Terminais de Venda", Actas da 7ª Conferência sobre Redes de Computadores, CRC, 2004.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Byzantine-resistant consensus based on a novel approach to intrusion tolerance", Proceedings of the 10th Pacific Rim International Symposium on Dependable Computing (PRDC'04), 2004.
Jorge, T., J. Pascoal, M. Correia, N. Ferreira Neves, and P. Verissimo, "Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões", Actas da, vol. 27, pp. 111–122, 2004.
Conference Paper
Correia, M., N. Ferreira Neves, and P. Verissimo, "How to tolerate half less one Byzantine nodes in practical distributed systems", Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.: IEEE, pp. 174–183, 2004.
Conference Paper
Ferraz, R., B. Gonçalves, J. Sequeira, M. Correia, N. Ferreira Neves, and P. Verissimo, "An intrusiontolerant web server based on the DISTRACT architecture", In Proceedings of the Workshop on Dependable Distributed Data Management: Citeseer, 2004.
Journal Article
Sardinha, L., N. Ferreira Neves, and P. Verissimo, Tolerância a Intrusões num Sistema em Grid, : 7ª Conferência sobre Redes de Computadores (CRC 2004), 2004.
Conference Paper
Sardinha, L., N. Ferreira Neves, and P. Verissimo, "Tolerating Intrusions in Grid Systems.", Security and Management, pp. 207–220, 2004.
Journal Article
Neves, N. Ferreira, M. Correia, and P. Verissimo, Wormhole-aware Byzantine protocols, , 2004.
Neves, N. Ferreira, and , "Complete specification of APIs and protocols for the MAFTIA middleware", TECHNICAL REPORT SERIES-UNIVERSITY OF NEWCASTLE UPON TYNE COMPUTING SCIENCE: University of Newcastle Upon Tyne., 2003.
Verissimo, P., N. Ferreira Neves, M. Correia, and I-T. Architectures, "Concepts and Design''", Architecting Dependable Systems TR-03-5, April, 2003.
Verissimo, P., N. Ferreira Neves, and M. Correia, "Intrusion-tolerant architectures: Concepts and design", Architecting Dependable Systems: Springer-Verlag LNCS 2677, pp. 3–36, 2003.
L Lung, C., M. Correia, N. Ferreira Neves, and P. Verissimo, "A simple intrusion-tolerant reliable multicast protocol using the TTCB", of: 21o Simpósio Brasileiro de Redes de Computadores, pp. 649–663, 2003.
Correia, M., C. L Lung, N. Ferreira Neves, and P. Verissimo, A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCBe Model, , 2003.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "WIT-GCS–a wormhole-based intrusion-tolerant group communication system", Submitted for publication, 2003.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "A Wormhole-based Intrusion-Tolerant Group Communication System–WIT-GCS", The 5th Cabernet Plenary Workshop, 2003.
Journal Article
Correia, M., P. Verissimo, and N. Ferreira Neves, "The design of a COTS real-time distributed security kernel", Dependable Computing EDCC-4: Springer, pp. 634–638, 2002.
Conference Paper
Correia, M., C. L Lung, N. Ferreira Neves, and P. Verissimo, "Efficient Byzantine-resilient reliable multicast on a hybrid failure model", Reliable Distributed Systems, 2002. Proceedings. 21st IEEE Symposium on: IEEE, pp. 2–11, 2002.
Book
Neves, N. Ferreira, and P. Verissimo, First Specification of APIs and Protocols for the MAFTIA Middleware, : University of Newcastle upon Tyne, Computing Science, 2002.
Conference Paper
Correia, M., P. Verissimo, and N. Ferreira Neves, "The architecture of a secure group communication system based on intrusion tolerance", Distributed Computing Systems Workshop, 2001 International Conference on: IEEE, pp. 17–22, 2001.
Journal Article
Correia, M., P. Verissimo, and N. Ferreira Neves, The design of a COTS real-time distributed security kernel (extended version), : Department of Informatics, University of Lisbon, 2001.
Armstrong, J., C. Cachin, M. Correia, A. Costa, H. Miranda, N. Ferreira Neves, N. Ferreira Neves, JA. Poritz, B. Randell, C. L Lung, et al., First Specification of APIs and Protocols for the MAFTIA Middleware, : Department of Informatics, University of Lisbon, 2001.
Armstrong, J., C. Cachin, M. Correia, A. Costa, H. Miranda, N. Ferreira Neves, N. Ferreira Neves, JA. Poritz, B. Randell, C. L Lung, et al., First Specification of APIs and Protocols for the MAFTIA Middleware, : Department of Informatics, University of Lisbon, 2001.
Neves, N. Ferreira, and , "First Specification of APIs and Protocols for the MAFTIA Middleware", Project MAFTIA IST-1999-11583 deliverable D24, 2001.
Powell, D., A. Adelsbach, C. Cachin, S. Creese, M. Dacier, Y. Deswarte, T. McCutcheon, N. Ferreira Neves, B. Pfitzmann, B. Randell, et al., MAFTIA (Malicious-and Accidental-Fault Tolerance for Internet Applications), : DSN 2001-International Conference on Dependable Systems and Networks, 2001.
Cachin, C., M. Correia, T. McCutcheon, N. Ferreira Neves, B. Pfitzmann, B. Randell, M. Schunter, R. J. Stroud, P. Verissimo, M. Waidner, et al., Service and Protocol Architecture for the MAFTIA Middleware, : Department of Informatics, University of Lisbon, 2001.
Verissimo, P., and N. Ferreira Neves, "Service and Protocol Architecture for the MAFTIA Middleware", Deliverable D23, Project MAFTIA IST-1999-11583, 2001.
Journal Article
Neves, N. Ferreira, M. Correia, and , "The middleware architecture of MAFTIA: A blueprint", In Proceedings of the IEEE Third Information Survivability Workshop (ISW-2000, 2000.
Verissimo, P., N. Ferreira Neves, and M. Correia, The middleware architecture of MAFTIA: A blueprint, : Department of Informatics, University of Lisbon, 2000.
Ssu, K-F., B. Yao, K. W Fuchs, and N. Ferreira Neves, "Adaptive checkpointing with storage management for mobile environments", IEEE Transactions on Reliability, vol. 48, no. 4, pp. 315–324, 1999.
Conference Paper
Neves, N. Ferreira, and K. W Fuchs, "Coordinated checkpointing without direct coordination", Computer Performance and Dependability Symposium, 1998. IPDS'98. Proceedings. IEEE International: IEEE, pp. 23–31, 1998.
Neves, N. Ferreira, and K. W Fuchs, "RENEW: A tool for fast and efficient implementation of checkpoint protocols", Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on: IEEE, pp. 58–67, 1998.
Thesis
Neves, N. Ferreira, Time-based coordinated checkpointing, : University of Illinois at Urbana-Champaign, 1998.
Conference Paper
Neves, N. Ferreira, and K. W Fuchs, "Fault detection using hints from the socket layer", Reliable Distributed Systems, 1997. Proceedings., The Sixteenth Symposium on: IEEE, pp. 64–71, 1997.
Neves, N. Ferreira, and K. W Fuchs, "Adaptive recovery for mobile environments", High-Assurance Systems Engineering Workshop, 1996. Proceedings., IEEE: IEEE, pp. 134–141, 1996.
Journal Article
Costa, M., P. Guedes, M. Sequeira, N. Ferreira Neves, and M. Castro, "Lightweight logging for lazy release consistent distributed shared memory", ACM SIGOPS Operating Systems Review, vol. 30, no. si, pp. 59–73, 1996.
Conference Paper
Neves, N. Ferreira, A-T. Nguyen, and E. L. Torres, "A study of a non-linear optimization problem using a distributed genetic algorithm", Parallel Processing, 1996. Vol. 3. Software., Proceedings of the 1996 International Conference on, vol. 2: IEEE, pp. 29–36, 1996.
Neves, N. Ferreira, and K. W Fuchs, "Using time to improve the performance of coordinated checkpointing", Computer Performance and Dependability Symposium, 1996., Proceedings of IEEE International: IEEE, pp. 282–291, 1996.
Neves, N. Ferreira, M. Castro, and P. Guedes, "A checkpoint protocol for an entry consistent shared memory system", Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing: ACM, pp. 121–129, 1994.
Guedes, P., M. Castro, and N. Ferreira Neves, "The DiSOM distributed shared object memory", Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs: ACM, pp. 138–140, 1994.
Journal Article
Sousa, P., A. Zúquete, N. Ferreira Neves, and J. Alves Marques, "Orthogonal persistence in a heterogeneous distributed object-oriented environment", The Computer Journal, vol. 37, no. 6: Br Computer Soc, pp. 531–541, 1994.
Conference Paper
Castro, M., N. Ferreira Neves, P. Trancoso, and P. Sousa, "MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel", Proceedings of the 3rd conference on USENIX MACH III Symposium-Volume 1: USENIX Association, pp. 6–6, 1993.

Pages