Nuno Neves's Publications

    Journal Papers:

  1. Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira, Benchmarking Static Analysis Tools for Web Security, IEEE Transactions on Reliability, accepted for publication
  2. Miguel Garcia, Nuno Neves, Alysson Bessani, SieveQ: A Layered BFT Protection System for Critical Services, IEEE Transactions on Dependable and Secure Computing, Vol. 15, No. 3, pages 511-525, May/June 2018.
  3. Marc Lacoste, Markus Miettinen, Nuno Neves, Fernando Ramos, Marko Vukolic, Fabien Charmet, Reda Yaich, Krzysztof Oborzynski, Gitesh Vernekar, Paulo Sousa, User-Centric Security and Dependability in the Clouds-of-Clouds, IEEE Cloud Computing, Vol. 3, No. 5, pages 64-75, September-October 2016.
  4. Alysson Bessani, Nuno Neves, Paulo Verissimo, Wagner Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia, JITeR: Just-In-Time Application-Layer Routing, Computer Networks, Elsevier, Vol. 104, pages 122–136, July 2016.
  5. Ibéria Medeiros, Nuno Neves, Miguel Correia, Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining, IEEE Transactions on Reliability, Vol. 65, No. 1, pages 54-69, March 2016
  6. Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Neves, Rafael Obelheiro, Analysis of OS Diversity for Intrusion Tolerance, Software - Practice and Experience, Wiley InterScience, Vol. 44, No. 6, pages 735–770, June 2014.
  7. 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
  8. Miguel Correia, Nuno Neves, Paulo Veríssimo, BFT-TO: Intrusion Tolerance with Less Replicas, The Computer Journal, Oxford University Press, Vol. 56, No. 6, pages 693-715, June 2013
  9. 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)
  10. 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
  11. 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)
  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
  25. Conference and Workshop Papers:

  26. André Nogueira, Miguel Garcia, Alysson Bessani, Nuno Neves On the challenges of building a BFT SCADA, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Luxembourg, 8 pages, June 2018
  27. Henrique Mendes, Ibéria Medeiros and Nuno Neves Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework, Proceedings of the Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Luxembourg, June 2018
  28. Wilson Melo Jr, Luiz Carmo, Alysson Bessani, Nuno Neves, Altair Santin How Blockchains can improve Measuring Instruments Regulation and Control, Proceedings of the International Instrumentation and Measurement Technology Conference (I2MTC), Texas, USA, 6 pages, May 2018
  29. Eduardo Viegas, Altair O. Santin, Nuno Neves, Alysson Bessani, Vilmar Abreu A Resilient Stream Learning Intrusion Detection Mechanism for Real-time Analysis of Network Traffic, Proceedings of the IEEE Global Communications Conference (GLOBECOM), Singapore, 6 pages, December 2017
  30. Fabio Pereira, Nuno Neves, Fernando Ramos, Secure Network Monitoring Using Programmable Data Planes, Proceedings of the Third International Workshop on Security in NFV-SDN (SN), Berlin, Germany, 6 pages, November 2017
  31. Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira, On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study, Proceedings of the European Dependable Computing Conference (EDCC), Geneva, Switzerland, 8 pages, September 2017
  32. Bruno Vavala, Nuno Neves, Peter Steenkiste, Secure Tera-scale Data Crunching with a Small TCB, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Denver, USA, 12 pages, June 2017
  33. Ibéria Medeiros, Nuno Neves, Miguel Correia, Demonstrating a Tool for Injection Attack Prevention in MySQL, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Denver, USA, 8 pages, June 2017
  34. Max Alaluna, Eric Vial, Nuno Neves, Fernando Ramos, Secure and Dependable Multi-Cloud Network Virtualization, Proceedings of the International Workshop on Security and Dependability of Multi-Domain Infrastructures (XDOM0), Belgrade, Serbia, 6 pages, April 2017
  35. Ibéria Medeiros, Nuno Neves, Miguel Correia, DEKANT: A Static Analysis Tool that Learns to Detect Web Application Vulnerabilities, Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), Saarbrücken, Germany, 12 pages, July 2016
  36. Bruno Vavala, Nuno Neves, Peter Steenkiste, Secure Identification of Actively Executed Code on a Generic Trusted Component, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Toulouse, France, 12 pages, June 2016
  37. Ibéria Medeiros, Nuno Neves, Miguel Correia, Equipping WAP with Weapons to Detect Vulnerabilities: Practical Experience Report, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Toulouse, France, 8 pages, June 2016
  38. Max Alaluna, Fernando M. V. Ramos, Nuno Neves, (Literally) Above the Clouds: Virtualizing the Network over Multiple Clouds, Proceedings of the IEEE Conference on Network Softwarization (NetSoft), Seoul, Korea, 4 pages, June 2016
  39. Ibéria Medeiros, Miguel Beatriz, Nuno Neves, Miguel Correia, Hacking the DBMS to Prevent Injection Attacks, Proceedings of the ACM Conference on Data and Applications Security and Privacy (CODASPY), New Orleans, EUA, 11 pages, March 2016
  40. Bruno Vavala, Nuno Neves, Peter Steenkiste, Securing Passive Replication Through Verification, Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems (SRDS), Montreal, Canada, 6 pages, September 2015
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
  51. 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
  52. 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
  53. 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
  54. 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
  55. 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
  56. 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
  57. 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)
  58. 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)
  59. 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
  60. 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
  61. 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
  62. 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
  63. 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
  64. 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
  65. 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
  66. 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
  67. 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
  68. 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
  69. 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)
  70. 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
  71. 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
  72. 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
  73. 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
  74. 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
  75. 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
  76. 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
  77. 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
  78. 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
  79. 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
  80. 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
  81. 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
  82. 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
  83. 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
  84. 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
  85. 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
  86. 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
  87. 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)
  88. 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
  89. 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)
  90. 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
  91. 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
  92. 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
  93. 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
  94. P. Guedes, M. Castro, N. Neves, The DiSOM Distributed Shared Object Memory, ACM SIGOPS European Workshop, pages 138-140, 1994
  95. 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
  96. Book Chapters:

  97. 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.
  98. 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.
  99. 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.
  100. 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.
  101. 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.
  102. Short Papers:

  103. André Nogueira, Alysson Bessani, Nuno Neves, Intrusion-Tolerant Eclipse SCADA, Symposium on Innovative Smart Grid Cybersecurity Solutions, March 2017
  104. Miguel Garcia, Alysson Bessani, Nuno Neves, Towards an Execution Environment for Intrusion-Tolerant Systems, Poster paper at European Conference on Computer Systems (EuroSys), April 2016
  105. Luís Ferrolho, Max Alaluna, Nuno Neves, Fernando M. V. Ramos, Secure and Dependable Virtual Network Embedding, Poster paper at USENIX Symposium on Networked Systems Design and Implementation (NSDI), March 2016
  106. David Matos, Nuno Neves, Alysson Bessani, SITAN: Services for Ad Hoc Networks with Unknown Participants, Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, 2 pages, June 2014
  107. Ibéria Medeiros, Nuno Neves, Miguel Correia, Web Application Protection with the WAP Tool, Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, 2 pages, June 2014
  108. 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
  109. 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
  110. 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
  111. 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
  112. 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
  113. 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
  114. 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
  115. 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
  116. 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
  117. 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
  118. 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
  119. 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
  120. Portuguese Conference Papers:

  121. Miguel Falé, Ibéria Medeiros, Nuno Neves, Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código, INFORUM - Simpósio de Informática (INFORUM), Aveiro, Portugal, October 2017
  122. Radu Onica, Nuno Neves, António Costa, Fault-Tolerant Precision Time Protocol for Smart Grids, INFORUM - Simpósio de Informática (INFORUM), Covilhã, Portugal, September 2015 (Best paper)
  123. José Lopes, Nuno Neves, Robustness of the RaptorQ FEC Code under Malicious Attacks, INFORUM - Simpósio de Informática (INFORUM), Évora, Portugal, September 2013
  124. 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
  125. Miguel Garcia, Nuno Neves, Alysson Bessani, DIVERSYS: DIVErse Rejuvenation SYStem, INFORUM - Simpósio de Informática (INFORUM), Lisboa, Portugal, September 2012
  126. João Antunes, Nuno Neves, Building an Automaton Towards Reverse Protocol Engineering, INFORUM - Simpósio de Informática (INFORUM), Lisboa, Portugal, September 2009.
  127. 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
  128. 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
  129. 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
  130. 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
  131. 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
  132. 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
  133. 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
  134. 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
  135. 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
  136. Editor of Proceedings:

  137. 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)
  138. 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
  139. Deliverables from Projects:

  140. Frank Fransen, Reinder Wolthuis (Editors), Security for smart Electricity GRIDs: How to address the security challenges in Smart Grids, SEGRID White Paper, June 2017
  141. Fernando Ramos, Nuno Neves (Editors), Specification of Self-Management of Network Security and Resilience, Project SUPERCLOUD, Deliverable D4.2, 97 pages, September 2016
  142. Nuno Neves (Editor), SEGRID Gap Analysis, Project SEGRID, Deliverable D2.3, 90 pages, March 2016
  143. Fernando Ramos, Nuno Neves (Editors), Preliminary Architecture of the Multi-Cloud Network Virtualization Infrastructure, Project SUPERCLOUD, Deliverable D4.1, 54 pages, September 2015
  144. Nuno Neves (Editor), Resilient SIEM Framework Architecture, Services and Protocols, Project MASSIF, Deliverable D5.1.4, 153 pages, September 2013
  145. Nuno Neves (Editor), Preliminary Defense Services and Protocols, Project MASSIF, Deliverable D5.1.2, 83 pages, September 2012
  146. Nuno Neves (Editor), Proof-of-concept Prototype of Defense Mechanisms, Project MASSIF, Deliverable D5.1.3, 34 pages, September 2012
  147. Nuno Neves (Editor), Preliminary Resilient Framework Architecture, Project MASSIF, Deliverable D5.1.1, 60 pages, September 2011
  148. 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)
  149. 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)
  150. 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)
  151. 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)
  152. Michel Banâtre (Editor), From Resilience-Building to Resilience-Scaling Technologies: Directions, Project Resist, Deliverable D13, 130 pages, September 2007
  153. Nuno Neves, Paulo Veríssimo (Editors), Preliminary Architecture Specification, Project CRUTIAL, Deliverable D4, 106 pages, January 2007
  154. 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)
  155. 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)
  156. Nuno Neves, Paulo Veríssimo (Editors), Running Lab Prototype of MAFTIA Middleware, Project MAFTIA, Deliverable D25, 26 pages, March 2002
  157. 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)
  158. 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)
  159. Technical Reports:

  160. David Matos, Nuno Neves, Alysson Bessani SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants, ArXiv 1804.09107, April 2018
  161. Max Alaluna, Luís Ferrolho, Jose Rui Figueira, Nuno Neves, Fernando M. V. Ramos Secure Virtual Network Embedding in a Multi-Cloud Environment, ArXiv 1703.01313, September 2017
  162. Max Alaluna, Fernando M. V. Ramos, Nuno Neves, (Literally) Above the Clouds: Virtualizing the Network over Multiple Clouds, ArXiv 1512.01196, December 2015
  163. 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
  164. 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
  165. 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
  166. 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
  167. 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
  168. 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.
  169. 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.
  170. 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
  171. 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
  172. 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)
  173. 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
  174. 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
  175. 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
  176. 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
  177. 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
  178. 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
  179. 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
  180. Thesis:

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