Nuno Neves's Publications

    Book Chapters:

  1. H. Moniz, A. Tedeschi, N. Neves, M. Correia, A Distributed Systems Approach to Airborne Self-Separation, in Computational Models, Software Engineering and Advanced Technologies in Air Transportation: Next Generation Applications, Li Weigang, Alexandre G. de Barros and Ítalo R. de Oliveira (editors), IGI Global, pages 215-236, October 2009.
  2. P. Verissimo, N. Neves, M. Correia, P. Sousa, Intrusion-Resilient Middleware Design and Validation, in Information Assurance, Security and Privacy Services (Handbooks in Information Systems : volume 4), H. Raghav Rao and S. Upadhyaya (editors), Emerald Group Publishing, pages 615-678, 2009.
  3. P. Verissimo, N. Neves, M. Correia, Y. Deswarte, A. Abou El Kalam, A. Bondavalli, A. Daidone, The CRUTIAL Architecture for Critical Information Infrastructures, in Architecting Dependable Systems V, R. de Lemos, F. Di Giandomenico, C. Gacek, H. Muccini, M. Vieira (editors), Lecture Notes in Computer Science, vol. 5135, pages 1-27, Springer Verlag, 2008.
  4. Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Intrusion Tolerant Architectures: Concepts and Design, in Architecting Dependable Systems, R. de Lemos, C. Gacek, A. Romanovsky (editors), Lecture Notes in Computer Science, vol. 2677, pages 3-36, Springer-Verlag, 2003.
  5. W. Kent Fuchs, Nuno Neves, Kou-Feng Ssu, Dependable Distributed and Mobile Computing - Utilizing Time to Enhance Recovery from Failures, in Dependable Network Computing, Avresky (editor), Kluwer Academic Publishers, 1999.

    6. Journal Papers:

  6. Henrique Moniz, Nuno Neves, Miguel Correia, Paulo Verissimo, Randomization Can Be a Healer: Consensus with Dynamic Omission Failures, Distributed Computing, Vol. 24, No. 3-4, pages 165-175, November 2011. (special issue on the best papers of the 2009 DISC)
  7. Miguel Correia, Giuliana Veronese, Nuno Neves, Paulo Veríssimo, Byzantine Consensus in Asynchronous Message-Passing Systems: a Survey, International Journal of Critical Computer-Based Systems, Inderscience Publishers, Vol. 2, No. 2, pages 141-161, 2011.
  8. Henrique Moniz, Nuno Neves, Miguel Correia, Paulo Verissimo, RITAS: Services for Randomized Intrusion Tolerance, IEEE Transactions on Dependable and Secure Computing, Vol. 8, No. 1, pages 122-136, January/February 2011.
  9. João Antunes, Nuno Neves, Miguel Correia, Paulo Veríssimo, Rui Neves, Vulnerability Discovery with Attack Injection, IEEE Transactions on Software Engineering, Vol. 36, No. 3, pages 357-370, May/June 2010.
  10. Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo, Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery, IEEE Transactions on Parallel and Distributed Systems, Vol. 21, No. 4, pages 452-465, April 2010.
  11. Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, The CRUTIAL Way of Critical Infrastructure Protection, IEEE Security and Privacy, Vol. 6, No. 6, pages 44-51, Nov/Dec 2008.
  12. Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, The CRUTIAL Reference Critical Information Infrastructure Architecture: A Blueprint, International Journal  System of Systems Engineering, Inderscience Publishers, Vol. 1, No. 1/2, pages 78-95, 2008. (selected as one of the best papers from the 2006 First International Workshop on Critical Information Infrastructures Security)
  13. Miguel 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, Elsevier, Vol. 80, No. 2, pages 178-197, February 2007.
  14. Paulo Verissimo, Nuno Neves, Christian Cachin, Jonathan Poritz, David Powell, Yves Deswarte, Robert Stroud, Ian Welch, Intrusion-Tolerant Middleware: The Road to Automatic Security, IEEE Security & Privacy, Vol. 4, No. 4, pages 54-62, July/August 2006.
  15. Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo, From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures, The Computer Journal, Vol. 49, No. 1, pages 82-96, Oxford University Press, January 2006.
  16. Nuno Ferreira Neves, Miguel Correia,Paulo Veríssimo, Solving Vector Consensus with a Wormhole, IEEE Transactions on Parallel and Distributed Systems, Vol. 16, No. 12, pages 1120-1131, December 2005
  17. Miguel Correia, Nuno Ferreira Neves, Lau Lung, Paulo Veríssimo, Low complexity Byzantine-resilient consensus, Distributed Computing, Springer-Verlag, Vol. 17, No. 3, pages 237-249, March 2005
  18. Kou-Feng Ssu, Bin Yao, W. Kent Fuchs, Nuno Ferreira Neves, Adaptive Checkpointing with Storage Management for Mobile Environments, IEEE Transactions on Reliability, Vol. 48, No. 4, pages 315-324, December 1999. (selected as one of the four best papers from the 1999 IEEE Pacific Rim International Symposium on Dependable Computing)
  19. Nuno Neves, W. Kent Fuchs, Adaptive Recovery for Mobile Environments, Communications of the ACM, Vol. 40, No. 1, pages 68-74, January 1997. (selected as one of the four best papers from the 1996 High-Assurance Systems Engineering Workshop)
  20. Pedro Sousa, André Zúquete, Nuno Neves, José Alves Marques, Orthogonal Persistence in a Heterogeneous Distributed Object-Oriented Environment, The Computer Journal, Vol. 37, No. 6, pages 531-541, Oxford University Press, 1994

    Conference and Workshop Papers:

  21. João Antunes, Nuno Ferreira Neves, Using Behavioral Profiles to Detect Software Flaws in Network Servers, Proceedings of the 22nd annual International Symposium on Software Reliability Engineering (ISSRE), Hiroshima, Japan, November 2011
  22. João Antunes, Nuno Ferreira Neves, Paulo Veríssimo, Reverse Engineering of Protocols from Network Traces, Proceedings of the 18th Working Conference on Reverse Engineering (WCRE), Limerick, Ireland, October 2011
  23. João Antunes, Nuno Ferreira Neves, DiveInto: Supporting Diversity in Intrusion-Tolerant Systems, Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS), Madrid, Spain, October 2011
  24. Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Neves, Rafael Obelheiro, OS Diversity for Intrusion Tolerance: Myth or Reality?, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Hong Kong, China, June 2011.
  25. João Antunes, Nuno Ferreira Neves, Automatically Complementing Protocol Specifications From Network Traces, Proceedings of the 13th European Workshop on Dependable Computing, Pisa, Italy, May 2011.
  26. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Turquois: Byzantine Consensus in Wireless Ad hoc Networks, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Chicago, USA, June 2010.
  27. Bruno Vavala, Nuno Neves, Henrique Moniz, Paulo Verissimo, Randomized Consensus in Wireless Environments: A Case Where More is Better, Proceedings of the International Conference on Dependability (DEPEND), Venice, Italy, July 2010 (One of the best papers)
  28. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, Randomization Can Be a Healer: Consensus with Dynamic Omission Failures, Proceedings of the 23rd International Symposium on Distributed Computing (DISC), Elche, Spain, September 2009. (Best student paper)
  29. Paulo Veríssimo, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa, Designing Modular and Redundant Cyber Architectures for Process Control: Lessons Learned, Proceedings of the 42nd Hawaii International Conference for the Systems Sciences (HICSS), Waikoloa, Hawaii, January 2009.
  30. João Antunes, Nuno Ferreira Neves, Paulo Verissimo, Detection and Prediction of Resource-Exhaustion Vulnerabilities, Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE), Seattle, USA, November 2008
  31. Manuel Mendonça, Nuno Ferreira Neves, Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities, Proceedings of the European Dependable Computing Conference (EDCC), Kaunas, Lithuania, May 2008
  32. Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo, Resilient Intrusion Tolerance through Proactive and Reactive Recovery, Proceedings of the 13th IEEE Pacific Rim Dependable Computing conference (PRDC), Melbourne, Australia, December 2007
  33. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Veríssimo, Intrusion Tolerance in Wireless Environments: An Experimental Evaluation, Proceedings of the 13th IEEE Pacific Rim Dependable Computing conference (PRDC), Melbourne, Australia, December 2007
  34. Manuel Mendonça, Nuno Ferreira Neves, Robustness Testing of the Windows DDK, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Edinburgh, UK, pages 554-564, June 2007
  35. Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, Hidden Problems of Asynchronous Proactive Recovery, Workshop on Hot Topics in System Dependability (HotDep), Edinburgh, UK, June 2007.
  36. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols, Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS), Leeds, UK, October 2006
  37. Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William Sanders, Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available, Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS), Leeds, UK, October 2006
  38. Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, CRUTIAL: The Blueprint of a Reference Critical Infrastructure Architecture, in Critical Information Infrastructures Security, LNCS, Volume 4347, Springer, 2006. Revised papers of First International Workshop on Critical Information Infrastructures Security (CRITIS), Samos Island, Greece, August 2006. (One of the best papers)
  39. Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Neves, Using Attack Injection to Discover New Vulnerabilities, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Philadelphia, USA, pages 457-466, June 2006
  40. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Randomized Intrusion-Tolerant Asynchronous Services, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Philadelphia, USA, pages 568-577, June 2006
  41. Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, Proactive Resilience through Architectural Hybridization, Proceedings of the 21st ACM Symposium on Applied Computing (SAC), Dijon, France, April, 2006
  42. Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, Resilient State Machine Replication, Proceedings of the Pacific Rim International Symposium on Dependable Computing (PRDC), Changsha, China, December, 2005
  43. Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Yokohama, Japan, June, 2005
  44. Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo, How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems, Proceedings of the 23rd IEEE Symposium on Reliable Distributed Systems (SRDS), Florianopolis, Brazil, pages 174-183, October, 2004
  45. Rafael Ferraz, Bruno Gonçalves, João Sequeira, Miguel Correia, Nuno Ferreira Neves and Paulo Veríssimo, An Intrusion-Tolerant Web Server based on the DISTRACT Architecture, Proceedings of the Workshop on Dependable Distributed Data Management (WDDDM), Florianopolis, Brazil, October, 2004
  46. Manuel Mendonça, Nuno Ferreira Neves, Secure Application Updates on Point of Sale Devices, Proceedings of the IEEE First International Conference on E-business and Telecommunication (ICETE), Setúbal, Portugal, August, 2004
  47. Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo, Tolerating Intrusions in Grid Systems, Proceedings of the 2004 International Conference on Security and Management (SAM), Las Vegas, USA, June, 2004
  48. Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Wormhole-Aware Byzantine Protocols, The 2nd Bertinoro Workshop on Future Directions in Distributed Computing: Survivability - Obstacles and Solutions (FuDiCo: SOS), Bertinoro, Italy, June, 2004.
  49. Lau Lung, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo, A Simple Intrusion-Tolerant Reliable Multicast Protocol Using the TTCB, Proceedings 21th Simpósio Brasileiro de Redes de Computadores (SBRC), Natal, Brazil, May, 2003
  50. Miguel Correia, Lau Lung, Nuno Ferreira Neves, Paulo Veríssimo, Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model, Proceedings 21th Symposium on Reliable Distributed Systems (SRDS), Osaka, Japan, pages 2-11, October, 2002
  51. Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, The Design of a COTS Real-Time Distributed Security Kernel, Proceedings of the Fourth European Dependable Computing Conference (EDCC), Toulouse, France, pages 234-252, October, 2002
  52. Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, The Architecture of a Secure Group Communication System based on Intrusion Tolerance, Proceedings of the IEEE International Workshop on Applied Reliable Group Communication (WARGC), Phoenix, USA, April 2001
  53. Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, The Middleware Architecture of MAFTIA: A Blueprint, Proceedings of the IEEE Third Survivability Workshop (ISW), Boston, USA, pages 157-161, October 2000
  54. Nuno Neves, W. Kent Fuchs, Coordinated Checkpointing Without Direct Coordination, Proceedings of the IEEE International Computer Performance and Dependability Symposium (IPDS), Durham, USA, September 1998.
  55. Nuno Neves, W. Kent Fuchs, RENEW: A Tool for Fast and Efficient Implementation of Checkpoint Protocols, Proceedings of the 28th International Symposium on Fault-Tolerant Computing (FTCS), Munich, Germany, pages 58-67, June 1998. (William C. Carter Award)
  56. Nuno Neves, W. Kent Fuchs, Fault Detection Using Hints from the Socket Layer, Proceedings of the 16th Symposium on Reliable Distributed Systems (SRDS), Durham, USA, pages 64-71, October 1997
  57. Nuno Neves, W. Kent Fuchs, Adaptive Recovery for Mobile Environments, Proceedings of the IEEE High-Assurance Systems Engineering Workshop (HASE), Niagara on the Lake, Canada, pages 16/1-16/8, October 1996. (One of the four best papers)
  58. Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro, Lightweight Logging for Lazy Release Consistent Distributed Shared Memory, Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI), Washington, USA, October 1996
  59. Nuno Neves, W. Kent Fuchs, Using Time to Improve the Performance of Coordinated Checkpointing, Proceedings of the IEEE International Computer Performance and Dependability Symposium (IPDS), Urbana-Champaign, USA, pages 282-291, September 1996
  60. Nuno Neves, Anthony-Trung Nguyen, Edgar L. Torres, A Study of a Non-Linear Optimization Problem Using a Distributed Genetic Algorithm, Proceedings of the IEEE International Conference on Parallel Processing (ICPP), Bloomingdale, USA, Vol. II, pages 29-36, August 1996
  61. Nuno Neves, Miguel Castro, Paulo Guedes, A Checkpoint Protocol for an Entry Consistent Shared Memory System, Proceedings of the Thirteenth ACM Symposium on Principles of Distributed Computing (PODC), Los Angeles, USA, pages 121-129, August 1994
  62. Miguel Castro, Nuno Neves, Pedro Trancoso, Pedro Sousa, MIKE: A Distributed Object-Oriented Programming Platform on Top of the Mach Micro-Kernel, Proceedings of the 1993 USENIX Mach Conference, Santa Fe, USA, pages 253-273, April 1993

    Short Papers:

  63. Miguel Garcia, Alysson Bessani, Nuno Neves, Diverse OS Rejuvenation for Intrusion Tolerance, Poster paper in Supplement of the International Conference on Dependable Systems and Networks (DSN), Hong Kong, China, June 2011.
  64. João Antunes, Nuno Ferreira Neves, Paulo Verissimo, Using Attack Injection on Closed Protocols, Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN), Chicago, USA, June 2010.
  65. Paulo Sousa, Alysson N. Bessani, Wagner S. Dantas, Fabio Souto, Miguel Correia, Nuno F. Neves, Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection, Demonstration paper at the International Conference on Dependable Systems and Networks (DSN), Estoril, Portugal, June 2009.
  66. Manuel Mendonça, Nuno Ferreira Neves, Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities, Fast abstract at the 10th IEEE High Assurance Systems Engineering Symposium, Dallas, USA, November 2007.
  67. João Antunes, Nuno Ferreira Neves, Finding Local Resource Exhaustion Vulnerabilities, Student paper at the 18th IEEE International Symposium on Software Reliability Engineering, Trollhättan, Sweden, November 2007.
  68. Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Verissimo. When 3 f +1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus, Brief Announcements at the 21st International Symposium on Distributed Computing (DISC), Lemesos, Cyprus, September 2007.
  69. Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, Protecting CRUTIAL Things, Fast abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN), Edinburgh, UK, June 2007.
  70. Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, A System for Protecting CRUTIAL Things, European Conference on Computer Systems (EuroSys 2007), Extended Abstract for Poster Section, Lisbon, Portugal, March 2007.
  71. Nuno Ferreira Neves, Locating File Processing Vulnerabilities, Fast abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN), Philadelphia, USA, June 2006.
  72. Miguel Correia, Nuno Ferreira Neves, Lau Lung, Paulo Veríssimo, Byzantine-Resistant Consensus based on a Novel Approach to Intrusion Tolerance, Fast abstract in Supplement of the 10th Pacific Rim Internatinal Symposium on Dependable Computing, Tahiti, French Polynesia, March 2004.
  73. Miguel Correia, Nuno Ferreira Neves, Lau Lung, Paulo Veríssimo, A Wormhole-based Intrusion-Tolerant Group Communication System - WIT-GCS, The 5th Cabernet Plenary Workshop, Madeira, Portugal, November 2003.
  74. Miguel Correia, Lau Lung, Nuno Ferreira Neves, Paulo Veríssimo, A Byzantine-Resilient Protocol using the TTCB, Fast abstract in Supplement of the Fourth European Dependable Computing Conference. Toulouse, France, October 2002.
  75. D. Powell, A. Adelsbach, C. Cachin, S. Creese, M. Dacier, Y. Deswarte, T. McCutcheon, N. Neves, B. Pfitzmann, B. Randell, R. Stroud, P. Veríssimo, M. Waidner, MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications), in Supplement of the International Conference on Dependable Systems and Networks, Göteborg, Sweden, pages D32-D35, June 2001.
  76. P. Guedes, M. Castro, N. Neves, The DiSOM Distributed Shared Object Memory, ACM SIGOPS European Workshop, pages 138-140, 1994

    77. Online Journal Papers:

  77. Bruno Vavala, Nuno Neves, Henrique Moniz, Paulo Verissimo, Randomized Consensus in Wireless Environments, International Journal on Advances in Intelligent Systems, Vol. 4, No. 1 & 2, September 2011. (selected as one of the best papers from the 2010 International Conference on Dependability)

    78. Portuguese Conference Papers:

  78. João Antunes, Nuno Ferreira Neves, Building an Automaton Towards Reverse Protocol Engineering, INFORUM - Simpósio de Informática (INFORUM), Lisboa, Portugal, September, 2009.
  79. Manuel Mendonça, Nuno Ferreira Neves, Localização de Vulnerabilidades de Segurança em Gestores de Dispositivos Wi-Fi com Técnicas de Fuzzing, Actas da 3ª Conferência Nacional Sobre Segurança Informática nas Organizações (SINO07), Lisboa, Portugal, October, 2007.
  80. Emanuel Teixeira, João Antunes, Nuno Ferreira Neves, Avaliação de Ferramentas de Análise Estática de Código para Detecção de Vulnerabilidades, Actas da 3ª Conferência Nacional Sobre Segurança Informática nas Organizações (SINO07), Lisboa, Portugal, October, 2007.
  81. Manuel Mendonça, Nuno Ferreira Neves, Testes de Robustez ao DDK do Windows XP, Actas da 2ª Conferência Nacional Sobre Segurança Informática nas Organizações (SINO06), Aveiro, Portugal, October, 2006.
  82. João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Neves, Diagnóstico de Vulnerabilidades Através da Injecção de Ataques, Actas da 1ª Conferência Nacional Sobre Segurança Informática nas Organizações (SINO05), Covilhã, Portugal, November, 2005.
  83. Pan Jieke, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo, Um Núcleo de Segurança Distribuído para Suporte a Protocolos Tolerantes a Intrusões, Actas da 1ª Conferência Nacional Sobre Segurança Informática nas Organizações (SINO05), Covilhã, Portugal, November, 2005.
  84. José Pascoal, Tiago Jorge, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo, FTP Tolerante a Intrusões, Actas da 1ª Conferência Nacional Sobre Segurança Informática nas Organizações (SINO05), Covilhã, Portugal, November, 2005.
  85. Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo, Tolerância a Intrusões num Sistema em Grid, Actas da 7ª Conferência sobre Redes de Computadores (CRC2004), Leiria, Portugal, October, 2004.
  86. Manuel Mendonça, Nuno Ferreira Neves, Actualização Segura e Automática de Aplicações em Terminais de Venda, Actas da 7ª Conferência sobre Redes de Computadores (CRC2004), Leiria, Portugal, October, 2004.
  87. Tiago Jorge, José Pascoal, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo, Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões, Actas da 7ª Conferência sobre Redes de Computadores (CRC2004), Leiria, Portugal, October, 2004.

    88. Editor of Proceedings:

  88. Henrique João Domingos, Nuno Ferreira Neves (editors), Actas da Terceira Conferência Nacional sobre Segurança nas Organizações, November 2007 (ISBN: 978-972-8401-59-7)
  89. Miguel Correia, Nuno Ferreira Neves (editors), Proceedings of the First Workshop on Recent Advances on Intrusion-Tolerant Systems, Technical Report DI/FCUL TR-07-5, Department of Computer Science, University of Lisbon, March 2007

    90. Deliverables from Projects:

  90. Nuno Ferreira Neves (Editor), Preliminary Resilient Framework Architecture, Project MASSIF, Deliverable D5.1.1, 60 pages, September 2011.
  91. Nuno Ferreira Neves, Paulo Veríssimo (Editors), Architecture, Services and Protocols for CRUTIAL, Project CRUTIAL, Deliverable D18, 127 pages, March 2009. (also Technical Report DI/FCUL TR-09-5, Department of Computer Science, University of Lisbon, March 2009)
  92. Giuliana Franceschinis (Editor), Experimental Validation of Architectural Solutions, Project CRUTIAL, Deliverable D20, 88 pages, March 2009. (also Technical Report DI/FCUL TR-09-8, Department of Computer Science, University of Lisbon, March 2009)
  93. Nuno Ferreira Neves, Paulo Veríssimo (Editors), Preliminary Specification of Services and Protocols, Project CRUTIAL, Deliverable D10, 121 pages, January 2008. (also Technical Report DI/FCUL TR-08-3, Department of Computer Science, University of Lisbon, January 2008)
  94. Susanna Donatelli, Eric Alata, João Antunes, Mohamed Kaâniche, Nuno Neves, Vincent Nicomette, Paulo Veríssimo, Experimental Validation of Architectural Solutions, Project CRUTIAL, Deliverable D26, 38 pages, January 2008. (also Technical Report DI/FCUL TR-08-4, Department of Computer Science, University of Lisbon, January 2008)
  95. Michel Banâtre (Editor), From Resilience-Building to Resilience-Scaling Technologies: Directions, Project Resist, Deliverable D13, 130 pages, September 2007.
  96. Nuno Ferreira Neves, Paulo Veríssimo (Editors), Preliminary Architecture Specification, Project CRUTIAL, Deliverable D4, 106 pages, January 2007.
  97. L. Strigini, Nuno Ferreira Neves, Michel Raynal, Michael Harrison, Mohamed Kaâniche, Friedrich von Henke (Editors), Resilience-Building Technologies: State of Knowledge, Project Resist, Deliverable D12, 345 pages, September 2006. (also Technical Report DI/FCUL TR-07-26, Department of Computer Science, University of Lisbon, November 2007)
  98. Nuno Ferreira Neves, Paulo Veríssimo (Editors),  Complete Specification of APIs and Protocols for the MAFTIA Middleware, Project MAFTIA, Deliverable D9, 161 pages, July 2002. (also Technical Report DI/FCUL TR-02-11, Department of Computer Science, University of Lisbon, September 2002)
  99. Nuno Ferreira Neves, Paulo Veríssimo (Editors), Running Lab Prototype of MAFTIA Middleware, Project MAFTIA, Deliverable D25, 26 pages, March 2002.
  100. Nuno Ferreira Neves, Paulo Veríssimo (Editors), First Specification of APIs and Protocols for the MAFTIA Middleware, Project MAFTIA, Deliverable D24, 102 pages, September 2001. (also Technical Report DI/FCUL TR-01-6, Department of Computer Science, University of Lisbon, September 2001)
  101. Paulo Veríssimo, Nuno Ferreira Neves (Editors), Service and Protocol Architecture for the MAFTIA Middleware, Project MAFTIA, Deliverable D23, 92 pages, January 2001. (also Technical Report DI/FCUL TR-01-1, Department of Computer Science, University of Lisbon, January 2001)

    102. Technical Reports:

  102. João Antunes, Nuno Neves, Paulo Veríssimo, ReverX: Reverse Engineering of Protocols, Technical Report DI/FCUL TR-11-1, Department of Computer Science, University of Lisbon, January 2011
  103. Henrique Moniz, Nuno Neves, Miguel Correia, Turquois: Byzantine Consensus in Wireless Ad hoc Networks (extended version), Technical Report DI/FCUL TR-10-4, Department of Computer Science, University of Lisbon, September 2010
  104. Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo, Cheap Intrusion-Tolerant Protection for CRUTIAL Things, Technical Report DI/FCUL TR-09-14, Department of Computer Science, University of Lisbon, September 2009
  105. Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo, Resilient Intrusion Tolerance through Proactive and Reactive Recovery, Technical Report DI/FCUL TR-07-17, Department of Computer Science, University of Lisbon, October 2007
  106. Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, Intrusion-Tolerant Protection for Critical Infrastructures, Technical Report DI/FCUL TR-07-8, Department of Computer Science, University of Lisbon, April 2007
  107. Paulo Sousa, Nuno Ferreira Neves, Antónia Lopes, Paulo Veríssimo, On the Resilience of Intrusion-Tolerant Distributed Systems, Technical Report DI/FCUL TR-06-14, Department of Computer Science, University of Lisbon, September 2006.
  108. Miguel Correia, Alysson Neves Bessani, Nuno Ferreira Neves, Lau C. Lung, Paulo Veríssimo, Improving Byzantine Protocols with Secure Computational Components, Technical Report DI/FCUL TR-05-20, Department of Computer Science, University of Lisbon, December 2005.
  109. Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, Resilient State Machine Replication, Technical Report DI/FCUL TR-05-17, Department of Computer Science, University of Lisbon, September 2005.
  110. Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, Proactive Resilience through Architectural Hybridization, Technical Report DI/FCUL TR-05-8, Department of Computer Science, University of Lisbon, May 2005
  111. Nuno Ferreira Neves, Tolerância a Intrusões em Sistemas Informáticos, Technical Report DI/FCUL TR-05-7, Department of Computer Science, University of Lisbon, May 2005 (IBM Scientific Award)
  112. Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo,How dependable are distributed f fault/intrusion-tolerant systems?, Technical Report DI/FCUL TR-05-3, Department of Computer Science, University of Lisbon, February 2005
  113. Paulo Veríssimo, Nuno Ferreira Neves, C. Cachin, J. A. Poritz, David Powell, Y. Deswarte, Robert J. Stroud, I. S. Welch, Intrusion-Tolerant Middleware: the MAFTIA approach, Technical Report DI/FCUL TR-04-14, Department of Computer Science, University of Lisbon, November 2004
  114. Miguel Correia, Nuno Ferreira Neves and Paulo Veríssimo, How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems, Technical Report DI/FCUL TR-04-6, Department of Computer Science, University of Lisbon, July 2004
  115. Miguel Correia, Nuno Ferreira Neves, Lau C. Lung, Paulo Veríssimo, Low Complexity Byzantine-Resilient Consensus, Technical Report DI/FCUL TR-03-25, Department of Computer Science, University of Lisbon, August 2003
  116. Paulo Veríssimo, Nuno Neves, Miguel Correia, Intrusion Tolerant Architectures: Concepts and Design, Technical Report DI/FCUL TR-03-5, Department of Computer Science, University of Lisbon, April 2003
  117. Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves, The Design of a COTS Real-Time Distributed Security Kernel (Extended Version), Technical Report DI/FCUL TR-01-12, Department of Computer Science, University of Lisbon, December 2001
  118. Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, The Middleware Architecture of MAFTIA: A Blueprint, Technical Report DI/FCUL TR-00-6, Department of Computer Science, University of Lisbon, September 2000

    119. Thesis:

  119. N. Neves, Time-Based Coordinated Checkpointing, Ph.D. Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, Junho 1998
  120. N. Neves, Checkpointing num Sistema de Memória Distribuída, Tese de Mestrado, Instituto Superior Técnico, Universidade Técnica de Lisboa, Dezembro 1995.

 

Back to Nuno Neves' home page