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 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:

  7. Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Neves, Rafael Obelheiro, Analysis of OS Diversity for Intrusion Tolerance, Software - Practice and Experience, Wiley InterScience, accepted for publication
  8. Henrique Moniz, Nuno Neves, Miguel Correia, Byzantine Fault-Tolerant Consensus in Wireless Ad hoc Networks, IEEE Transactions on Mobile Computing, Vol. 12, No. 12, December 2013
  9. Miguel Correia, Nuno Neves, Paulo Veríssimo, BFT-TO: Intrusion Tolerance with Less Replicas, The Computer Journal, Vol. 56, No. 6, pages 693-715, Oxford University Press, June 2013
  10. 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)
  11. 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
  12. 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
  13. 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
  14. Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno 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
  15. Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Neves, Paulo Verissimo, The CRUTIAL Way of Critical Infrastructure Protection, IEEE Security and Privacy, Vol. 6, No. 6, pages 44-51, Nov/Dec 2008
  16. Paulo Verissimo, Nuno 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)
  17. Miguel Correia, Nuno 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
  18. 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
  19. Miguel Correia, Nuno 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
  20. Nuno 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
  21. Miguel Correia, Nuno Neves, Lau Lung, Paulo Veríssimo, Low complexity Byzantine-resilient consensus, Distributed Computing, Springer-Verlag, Vol. 17, No. 3, pages 237-249, March 2005
  22. Kou-Feng Ssu, Bin Yao, W. Kent Fuchs, Nuno 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)
  23. 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)
  24. 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:

  25. Alysson Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Neves, Miguel Correia, Marcelo Pasin, Paulo Verissimo, SCFS: A Shared Cloud-backed File System, Proceedings of the USENIX Annual Technical Conference (USENIX ATC), Philadelphia, USA, 12 pages, June 2014
  26. José Lopes, Nuno Neves, Stopping a Rapid Tornado with a Puff, Proceedings of the IEEE Symposium on Security and Privacy (Oakland), San Jose, USA, 15 pages, May 2014
  27. Ibéria Medeiros, Nuno Neves, Miguel Correia, Automatic Detection and Correction of Web Application Vulnerabilities using Data Mining to Predict False Positives, Proceedings of the International World Wide Web Conference (WWW), Seoul, Korea, 12 pages, April 2014
  28. Ibéria Medeiros, Nuno Neves, Miguel Correia, Securing Energy Metering Software with Automatic Source Code Correction, Proceedings of the IEEE International Conference on Industrial Informatics (INDIN), Bochum, Germany, 6 pages, July 2013
  29. Alysson Bessani, Marcel Santos, João Félix, Nuno Neves, Miguel Correia, On the Efficiency of Durable State Machine Replication, Proceedings of the USENIX Annual Technical Conference (USENIX ATC), San Jose, USA, 12 pages, June 2013
  30. Miguel Garcia, Nuno Neves, Alysson Bessani, An Intrusion-Tolerant Firewall Design for Protecting SIEM Systems, Proceedings of the Workshop on Systems Resilience (WSR), Budapest, Hungary, 7 pages, June 2013
  31. Tiago Carvalho, Hyong S. Kim, Nuno Neves, PACE Your Network: Fair and Controllable Multi-Tenant Data Center Networks, Proceedings of the IEEE International Conference on Communications (ICC), Budapest, Hungary, 6 pages, June 2013
  32. Manuel Mendonça, Nuno Neves, Intercept: Profiling Windows Network Device Drivers, Proceedings of the 14TH European Workshop on Dependable Computing (EWDC), Coimbra, Portugal, 15 pages, May 2013
  33. João Antunes, Nuno Neves, Recycling Test Cases to Detect Security Vulnerabilities, Proceedings of the 23nd Annual International Symposium on Software Reliability Engineering (ISSRE), Dallas, USA, 10 pages, November 2012
  34. Bruno Vavala, Nuno Neves, Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions, Proceedings of the 31th IEEE Symposium on Reliable Distributed Systems (SRDS), Irvine, USA, 10 pages, October 2012
  35. João Antunes, Nuno 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, pages 1-10, November 2011
  36. João Antunes, Nuno Neves, Paulo Veríssimo, Reverse Engineering of Protocols from Network Traces, Proceedings of the 18th Working Conference on Reverse Engineering (WCRE), Limerick, Ireland, 10 pages, October 2011
  37. João Antunes, Nuno Neves, DiveInto: Supporting Diversity in Intrusion-Tolerant Systems, Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS), Madrid, Spain, pages 137-146, October 2011
  38. 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, pages 383-394, June 2011
  39. João Antunes, Nuno Neves, Automatically Complementing Protocol Specifications From Network Traces, Proceedings of the 13th European Workshop on Dependable Computing, Pisa, Italy, 6 pages, May 2011
  40. Henrique Moniz, Nuno Neves, Miguel Correia, Turquois: Byzantine Consensus in Wireless Ad hoc Networks, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Chicago, USA, pages 537-546, June 2010
  41. 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, 6 pages, July 2010 (One of the best papers)
  42. Henrique Moniz, Nuno 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, 15 pages, September 2009 (Best student paper)
  43. Paulo Veríssimo, Alysson Bessani, Miguel Correia, Nuno 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, pages 1-8, January 2009
  44. João Antunes, Nuno Neves, Paulo Verissimo, Detection and Prediction of Resource-Exhaustion Vulnerabilities, Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE), Seattle, USA, pages 87-96, November 2008
  45. Manuel Mendonça, Nuno Neves, Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities, Proceedings of the European Dependable Computing Conference (EDCC), Kaunas, Lithuania, pages 110-119, May 2008
  46. Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno 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, pages 373-380, December 2007
  47. Henrique Moniz, Nuno 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, pages 357-364, December 2007
  48. Manuel Mendonça, Nuno 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
  49. Paulo Sousa, Nuno Neves, Paulo Verissimo, Hidden Problems of Asynchronous Proactive Recovery, Workshop on Hot Topics in System Dependability (HotDep), Edinburgh, UK, 4 pages, June 2007
  50. Henrique Moniz, Nuno 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, pages 235-244, October 2006
  51. Paulo Sousa, Nuno 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, pages 71-82, October 2006
  52. Paulo Veríssimo, Nuno Neves, Miguel Correia, CRUTIAL: The Blueprint of a Reference Critical Infrastructure Architecture, in Critical Information Infrastructures Security, LNCS, Volume 4347, Springer, pages 1-14, 2006. Revised papers of First International Workshop on Critical Information Infrastructures Security (CRITIS), Samos Island, Greece, August 2006. (One of the best papers)
  53. Nuno 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
  54. Henrique Moniz, Nuno 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
  55. Paulo Sousa, Nuno Neves, Paulo Veríssimo, Proactive Resilience through Architectural Hybridization, Proceedings of the 21st ACM Symposium on Applied Computing (SAC), Dijon, France, pages 686-690, April 2006
  56. Paulo Sousa, Nuno Neves, Paulo Veríssimo, Resilient State Machine Replication, Proceedings of the Pacific Rim International Symposium on Dependable Computing (PRDC), Changsha, China, 5 pages, December 2005
  57. Paulo Sousa, Nuno 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, pages 98-107, June 2005
  58. Miguel Correia, Nuno 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
  59. Rafael Ferraz, Bruno Gonçalves, João Sequeira, Miguel Correia, Nuno 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, 6 pages, October 2004
  60. Manuel Mendonça, Nuno 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, 8 pages, August 2004
  61. Luis Sardinha, Nuno Neves, Paulo Veríssimo, Tolerating Intrusions in Grid Systems, Proceedings of the 2004 International Conference on Security and Management (SAM), Las Vegas, USA, 7 pages, June 2004
  62. Nuno 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, 3 pages, June 2004
  63. Lau Lung, Miguel Correia, Nuno 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
  64. Miguel Correia, Lau Lung, Nuno 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
  65. Miguel Correia, Paulo Veríssimo, Nuno 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
  66. Miguel Correia, Paulo Veríssimo, Nuno 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
  67. Paulo Veríssimo, Nuno 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
  68. 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
  69. 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)
  70. 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
  71. 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)
  72. 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
  73. 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
  74. 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
  75. 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
  76. 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:

  77. João Antunes, Nuno Neves, Adaptive Monitoring to Detect Intrusions in Critical Servers, Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN), Boston, USA, 2 pages, June 2012
  78. 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, 4 pages, June 2011
  79. João Antunes, Nuno 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, 2 pages, June 2010
  80. 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, pages 217-222, June 2009
  81. Manuel Mendonça, Nuno Neves, Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities, Fast abstract at the 10th IEEE High Assurance Systems Engineering Symposium, Dallas, USA, 2 pages, November 2007
  82. João Antunes, Nuno Neves, Finding Local Resource Exhaustion Vulnerabilities, Student paper at the 18th IEEE International Symposium on Software Reliability Engineering, Trollhättan, Sweden, 2 pages, November 2007
  83. Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno 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, 2 pages, September 2007
  84. Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Neves, Paulo Verissimo, Protecting CRUTIAL Things, Fast abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN), Edinburgh, UK, 2 pages, June 2007
  85. Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Neves, Paulo Verissimo, A System for Protecting CRUTIAL Things, European Conference on Computer Systems (EuroSys 2007), Extended Abstract for Poster Section, Lisbon, Portugal, 1 page, March 2007
  86. Nuno Neves, Locating File Processing Vulnerabilities, Fast abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN), Philadelphia, USA, 2 pages, June 2006
  87. Miguel Correia, Nuno 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, 2 pages, March 2004
  88. Miguel Correia, Nuno Neves, Lau Lung, Paulo Veríssimo, A Wormhole-based Intrusion-Tolerant Group Communication System - WIT-GCS, The 5th Cabernet Plenary Workshop, Madeira, Portugal, 4 pages, November 2003
  89. Miguel Correia, Lau Lung, Nuno Neves, Paulo Veríssimo, A Byzantine-Resilient Protocol using the TTCB, Fast abstract in Supplement of the Fourth European Dependable Computing Conference, Toulouse, France, 2 pages, October 2002
  90. 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
  91. P. Guedes, M. Castro, N. Neves, The DiSOM Distributed Shared Object Memory, ACM SIGOPS European Workshop, pages 138-140, 1994
  92. Online Journal Papers:

  93. 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, 12 pages, September 2011 (selected as one of the best papers from the 2010 International Conference on Dependability)
  94. Portuguese Conference Papers:

  95. José Lopes, Nuno Neves, Robustness of the RaptorQ FEC Code under Malicious Attacks, INFORUM - Simpósio de Informática (INFORUM), Évora, Portugal, September 2013
  96. David Matos, Emanuel Alves, Nuno Neves, Alysson Bessani, MiCCS4Mobile: Middleware para Comunicação e Coordenação Segura em Redes Ad-hoc com Participantes Desconhecidos, INFORUM - Simpósio de Informática (INFORUM), Évora, Portugal, September 2013
  97. Miguel Garcia, Nuno Neves, Alysson Bessani, DIVERSYS: DIVErse Rejuvenation SYStem, INFORUM - Simpósio de Informática (INFORUM), Lisboa, Portugal, September 2012
  98. João Antunes, Nuno Neves, Building an Automaton Towards Reverse Protocol Engineering, INFORUM - Simpósio de Informática (INFORUM), Lisboa, Portugal, September 2009.
  99. Manuel Mendonça, Nuno 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
  100. Emanuel Teixeira, João Antunes, Nuno 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
  101. Manuel Mendonça, Nuno 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
  102. João Antunes, Nuno 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
  103. Pan Jieke, Miguel Correia, Nuno 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
  104. José Pascoal, Tiago Jorge, Miguel Correia, Nuno 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
  105. Luis Sardinha, Nuno 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
  106. Manuel Mendonça, Nuno 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
  107. Tiago Jorge, José Pascoal, Miguel Correia, Nuno 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
  108. Editor of Proceedings:

  109. Henrique João Domingos, Nuno Neves (editors), Actas da Terceira Conferência Nacional sobre Segurança nas Organizações, November 2007 (ISBN: 978-972-8401-59-7)
  110. Miguel Correia, Nuno 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
  111. Deliverables from Projects:

  112. Nuno Neves (Editor), Resilient SIEM Framework Architecture, Services and Protocols, Project MASSIF, Deliverable D5.1.4, 153 pages, September 2013
  113. Nuno Neves (Editor), Preliminary Defense Services and Protocols, Project MASSIF, Deliverable D5.1.2, 83 pages, September 2012
  114. Nuno Neves (Editor), Proof-of-concept Prototype of Defense Mechanisms, Project MASSIF, Deliverable D5.1.3, 34 pages, September 2012
  115. Nuno Neves (Editor), Preliminary Resilient Framework Architecture, Project MASSIF, Deliverable D5.1.1, 60 pages, September 2011
  116. Nuno 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)
  117. 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)
  118. Nuno 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)
  119. 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)
  120. Michel Banâtre (Editor), From Resilience-Building to Resilience-Scaling Technologies: Directions, Project Resist, Deliverable D13, 130 pages, September 2007
  121. Nuno Neves, Paulo Veríssimo (Editors), Preliminary Architecture Specification, Project CRUTIAL, Deliverable D4, 106 pages, January 2007
  122. L. Strigini, Nuno 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)
  123. Nuno 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)
  124. Nuno Neves, Paulo Veríssimo (Editors), Running Lab Prototype of MAFTIA Middleware, Project MAFTIA, Deliverable D25, 26 pages, March 2002
  125. Nuno 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)
  126. Paulo Veríssimo, Nuno 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)
  127. Technical Reports:

  128. 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
  129. 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
  130. Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno 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
  131. Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno 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
  132. Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno 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
  133. Paulo Sousa, Nuno 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.
  134. Miguel Correia, Alysson Neves Bessani, Nuno 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.
  135. Paulo Sousa, Nuno Neves, Paulo Veríssimo, Resilient State Machine Replication, Technical Report DI/FCUL TR-05-17, Department of Computer Science, University of Lisbon, September 2005
  136. Paulo Sousa, Nuno 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
  137. Nuno 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)
  138. Paulo Sousa, Nuno 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
  139. Paulo Veríssimo, Nuno 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
  140. Miguel Correia, Nuno 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
  141. Miguel Correia, Nuno 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
  142. 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
  143. Miguel Correia, Paulo Veríssimo, Nuno 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
  144. Paulo Veríssimo, Nuno 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
  145. Thesis:

  146. N. Neves, Time-Based Coordinated Checkpointing, Ph.D. Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, Junho 1998
  147. 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