Nuno Neves's Publications

    Journal Papers:

  1. Ibéria Medeiros, Nuno Neves, Miguel Correia, Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages, IEEE Transactions on Reliability, Vol. 71, No. 2, pages 1033-1056, June 2022.
  2. Ricardo Mendes, Tiago Oliveira, Vinicius Cogo, Nuno Neves, Alysson Bessani, CHARON: A Secure Cloud-of-Clouds System for Storing and Sharing Big Data, IEEE Transactions on Cloud Computing, Vol. 9, No. 4, pages 1349-1361, October-December 2021.
  3. Max Alaluna, Luis Ferrolho, José Rui Figueira, Nuno Neves, Fernando M. V. Ramos, Secure Multi-Cloud Virtual Network Embedding, Computer Communications, Elsevier, Vol. 155, pages 252-265, April 2020.
  4. Max Alaluna, Eric Vial, Nuno Neves, Fernando M. V. Ramos, Secure Multi-Cloud Network Virtualization, Computer Networks, Elsevier, Vol. 161, pages 45-60, October 2019.
  5. Ibéria Medeiros, Miguel Beatriz, Nuno Neves, Miguel Correia, SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS, IEEE Transactions on Reliability, Vol. 68, No. 3, pages 1168-1188, September 2019.
  6. Wilson S. Melo Jr, Alysson Bessani, Nuno Neves, Altair Santin, Luiz F.R.C. Carmo, Using Blockchains to Implement Distributed Measuring Systems, IEEE Transactions on Instrumentation and Measurement, Vol. 68, No. 5, pages 1503-1514, May 2019.
  7. Eduardo Viegas, Altair O. Santin, Alysson Bessani, Nuno Neves, BigFlow: Real-time and Reliable Anomaly-based Intrusion Detection for High-Speed Networks, Future Generation Computer Systems, Elsevier, Vol. 93, pages 473-485, April 2019.
  8. Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira, An Empirical Study on Combining Diverse Static Analysis Tools for Web Security Vulnerabilities based on Development Scenarios, Computing, Springer, Vol. 101, No. 2, pages 161–185, February 2019.
  9. Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira, Benchmarking Static Analysis Tools for Web Security, IEEE Transactions on Reliability, Vol. 67, No. 3, pages 1159-1175, September 2018
  10. 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.
  11. 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.
  12. 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.
  13. 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
  14. 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.
  15. 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
  16. 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
  17. 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)
  18. 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
  19. 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)
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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)
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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)
  31. 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)
  32. 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

    33. Conference and Workshop Papers:

  33. Filipe Rodrigues, Rodrigo Simões, Nuno Neves, FADO: A Federated Learning Attack and Defense Orchestrator, Workshop on Dependable and Secure Machine Learning (DSML), Porto, Portugal, 8 pages, June 2023.
  34. Ana Fidalgo, Ibéria Medeiros, Paulo Antunes, Nuno Neves, Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants, Workshop on Testing of Configurable and Multi-variant Systems (ToCaMS), Porto, Portugal, 10 pages, October 2020.
  35. Francisco Araújo, Ibéria Medeiros, Nuno Neves, Generating Tests for the Discovery of Security Flaws in Product Variants, International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS), Porto, Portugal, 10 pages, October 2020.
  36. Ibéria Medeiros, Nuno Neves, Effect of Coding Styles in Detection of Web Application Vulnerabilities, Proceedings of the European Dependable Computing Conference (EDCC), Munich, Germany, 8 pages, September 2020
  37. Max Alaluna, Nuno Neves, Fernando M. V. Ramos, Elastic Network Virtualization, IEEE Conference on Computer Communications (INFOCOM), Beijing, China, 10 pages, April 2020.
  38. Ricardo Morgado, Ibéria Medeiros, Nuno Neves, Towards Web Application Security by Automated Code Correction, International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Prague, Czech Republic, 12 pages, May 2020.
  39. Miguel Garcia, Alysson Bessani, Nuno Neves, Lazarus: Automatic Management of Diversity in BFT Systems, Proceedings of the ACM/IFIP International Middleware Conference (MIDDLEWARE), Davis, USA, pages 241-254, December 2019 (Best student paper)
  40. Ivo Vacas, Ibéria Medeiros, Nuno Neves, Detecting Network Threats using OSINT Knowledge-based IDS, Proceedings of the European Dependable Computing Conference (EDCC), Iasi, Romania, 8 pages, September 2018
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
  51. 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
  52. 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
  53. 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
  54. 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
  55. 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
  56. 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
  57. 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
  58. 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
  59. 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
  60. 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
  61. 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
  62. 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
  63. 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
  64. 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
  65. 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
  66. 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
  67. 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
  68. 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
  69. 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
  70. 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
  71. 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
  72. 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)
  73. 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)
  74. 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
  75. 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
  76. 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
  77. 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
  78. 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
  79. 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
  80. 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
  81. 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
  82. 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
  83. 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
  84. 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)
  85. 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
  86. 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
  87. 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
  88. 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
  89. 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
  90. 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
  91. 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
  92. 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
  93. 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
  94. 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
  95. 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
  96. 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
  97. 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
  98. 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
  99. 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
  100. 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
  101. 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
  102. 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)
  103. 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
  104. 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)
  105. 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
  106. 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
  107. 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
  108. 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
  109. P. Guedes, M. Castro, N. Neves, The DiSOM Distributed Shared Object Memory, ACM SIGOPS European Workshop, pages 138-140, 1994
  110. 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

    111. Book Chapters:

  111. P. Gomes, N. Magaia, N. Neves, Industrial and Artificial Internet of Things with Augmented Reality, in Convergence of Artificial Intelligence and Internet of Things, George Mastorakis, Constandinos X. Mavromoustakis, Jordi Batalla, Evangelos Pallis (editors), Springer, 2020.
  112. 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.
  113. 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.
  114. 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.
  115. 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.
  116. 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.

    117. Short Papers:

  117. Paulo Antunes, Ibéria Medeiros, Nuno Neves, Towards PHP Vulnerability Detection at an Intermediate Language Level, Doctoral Forum at the International Conference on Dependable Systems and Networks (DSN), Porto, Portugal, 2 pages, June 2023
  118. Nuno Neves, Towards Fuzzing Target Lines, Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN), Baltimore, USA, 2 pages, June 2022
  119. Iberia Medeiros, Nuno Neves, Impact of Coding Styles on Behaviours of Static Analysis Tools for Web Applications, Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN), Valencia, Spain, 2 pages, June 2020
  120. André Nogueira, Alysson Bessani, Nuno Neves, Intrusion-Tolerant Eclipse SCADA, Symposium on Innovative Smart Grid Cybersecurity Solutions, March 2017
  121. 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
  122. 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
  123. 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
  124. 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
  125. 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
  126. 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
  127. 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
  128. 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
  129. 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
  130. 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
  131. 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
  132. 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
  133. 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
  134. 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
  135. 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
  136. 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

    137. Portuguese Conference Papers:

  137. Francisco Araujo, Ibéria Medeiros, Nuno Neves, Geração de Testes de Software para Verificação de Faltas e Funcionalidades, Simpósio de Informática (INFORUM), Guimarães, Portugal, September 2019
  138. Paulo Antunes, Ibéria Medeiros, Nuno Neves, Remoção Automática de Vulnerabilidades usando Análise Estática de Código Direcionada, Simpósio de Informática (INFORUM), Coimbra, Portugal, September 2018
  139. 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, Simpósio de Informática (INFORUM), Aveiro, Portugal, October 2017
  140. Radu Onica, Nuno Neves, António Costa, Fault-Tolerant Precision Time Protocol for Smart Grids, Simpósio de Informática (INFORUM), Covilhã, Portugal, September 2015 (Best paper)
  141. José Lopes, Nuno Neves, Robustness of the RaptorQ FEC Code under Malicious Attacks, Simpósio de Informática (INFORUM), Évora, Portugal, September 2013
  142. David Matos, Emanuel Alves, Nuno Neves, Alysson Bessani, MiCCS4Mobile: Middleware para Comunicação e Coordenação Segura em Redes Ad-hoc com Participantes Desconhecidos, Simpósio de Informática (INFORUM), Évora, Portugal, September 2013
  143. Miguel Garcia, Nuno Neves, Alysson Bessani, DIVERSYS: DIVErse Rejuvenation SYStem, Simpósio de Informática (INFORUM), Lisboa, Portugal, September 2012
  144. João Antunes, Nuno Neves, Building an Automaton Towards Reverse Protocol Engineering, Simpósio de Informática (INFORUM), Lisboa, Portugal, September 2009.
  145. 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 (SINO), Lisboa, Portugal, October 2007
  146. 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 (SINO), Lisboa, Portugal, October 2007
  147. 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 (SINO), Aveiro, Portugal, October 2006
  148. 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 (SINO), Covilhã, Portugal, November 2005
  149. 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 (SINO), Covilhã, Portugal, November 2005
  150. 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 (SINO), Covilhã, Portugal, November 2005
  151. 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 (CRC), Leiria, Portugal, October 2004
  152. 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 (CRC), Leiria, Portugal, October 2004
  153. 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 (CRC), Leiria, Portugal, October 2004

    154. Editor of Proceedings:

  154. Leyla Bilge, Lorenzo Cavallaro, Giancarlo Pellegrino, Nuno Neves (editors), Detection of Intrusions and Malware, and Vulnerability Assessment, Lecture Notes in Computer Science, Vol. 12756, Springer, July 2021 (ISBN: 978-3-030-80825-9; DOI: https://doi.org/10.1007/978-3-030-80825-9)
  155. Clémentine Maurice, Leyla Bilge, Gianluca Stringhini, Nuno Neves (editors), Detection of Intrusions and Malware, and Vulnerability Assessment, Lecture Notes in Computer Science, Vol. 12223, Springer, July 2020 (ISBN: 978-3-030-52682-5; DOI: https://doi.org/10.1007/978-3-030-52683-2)
  156. 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)
  157. 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

    158. Deliverables from Projects:

  158. Fernando Ramos, Nuno Neves (Editors), Implementation of Self-Management of Network Security and Resilience , Project SUPERCLOUD, Deliverable D4.4, 127 pages, January 2018
  159. Fernando Ramos, Nuno Neves (Editors), Proof-of-concept Prototype of the Multi-Cloud Network Virtualization Infrastructure , Project SUPERCLOUD, Deliverable D4.3, 38 pages, June 2017
  160. Frank Fransen, Reinder Wolthuis (Editors), Security for smart Electricity GRIDs: How to address the security challenges in Smart Grids, SEGRID White Paper, June 2017
  161. Fernando Ramos, Nuno Neves (Editors), Specification of Self-Management of Network Security and Resilience, Project SUPERCLOUD, Deliverable D4.2, 97 pages, September 2016
  162. Nuno Neves (Editor), SEGRID Gap Analysis, Project SEGRID, Deliverable D2.3, 90 pages, March 2016
  163. Fernando Ramos, Nuno Neves (Editors), Preliminary Architecture of the Multi-Cloud Network Virtualization Infrastructure, Project SUPERCLOUD, Deliverable D4.1, 54 pages, September 2015
  164. Nuno Neves (Editor), Resilient SIEM Framework Architecture, Services and Protocols, Project MASSIF, Deliverable D5.1.4, 153 pages, September 2013
  165. Nuno Neves (Editor), Preliminary Defense Services and Protocols, Project MASSIF, Deliverable D5.1.2, 83 pages, September 2012
  166. Nuno Neves (Editor), Proof-of-concept Prototype of Defense Mechanisms, Project MASSIF, Deliverable D5.1.3, 34 pages, September 2012
  167. Nuno Neves (Editor), Preliminary Resilient Framework Architecture, Project MASSIF, Deliverable D5.1.1, 60 pages, September 2011
  168. 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)
  169. 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)
  170. 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)
  171. 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)
  172. Michel Banâtre (Editor), From Resilience-Building to Resilience-Scaling Technologies: Directions, Project Resist, Deliverable D13, 130 pages, September 2007
  173. Nuno Neves, Paulo Veríssimo (Editors), Preliminary Architecture Specification, Project CRUTIAL, Deliverable D4, 106 pages, January 2007
  174. 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)
  175. 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)
  176. Nuno Neves, Paulo Veríssimo (Editors), Running Lab Prototype of MAFTIA Middleware, Project MAFTIA, Deliverable D25, 26 pages, March 2002
  177. 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)
  178. 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)

    179. Technical Reports:

  179. Ibéria Medeiros, Nuno Neves, Miguel Correia, Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages, ArXiv:1910.06826, October 2019
  180. David Matos, Nuno Neves, Alysson Bessani SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants, ArXiv 1804.09107, April 2018
  181. 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
  182. Max Alaluna, Fernando M. V. Ramos, Nuno Neves, (Literally) Above the Clouds: Virtualizing the Network over Multiple Clouds, ArXiv 1512.01196, December 2015
  183. 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
  184. 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
  185. 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
  186. 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
  187. 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
  188. 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.
  189. 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.
  190. 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
  191. 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
  192. 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)
  193. 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
  194. 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
  195. 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
  196. 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
  197. 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
  198. 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
  199. 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

    200. Thesis:

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