Member

Acronym	Title	Funding Entity	Start Date	End Date
I2DT	Intelligent Interoperable Digital Twins	P2030	01/11/2024	31/10/2027
SMaRtChain	Fast and Energy-efficient Distributed Consensus for Blockchains	FCT	01/03/2023	31/10/2026

PAST

Acronym	Title	Funding Entity	Start Date	End Date
XIVT	eXcellence In Variant Testing	P2020	01/01/2020	30/06/2023
ThreatAdapt	Adaptive Byzantine Fault and Intrusion Tolerance	FCT	01/07/2019	30/06/2023
uPVN	User-Centric Programmable Virtual Networks	FCT	01/10/2018	30/09/2022
SEAL	SEcurity progrAmming of web appLications	FCT	01/08/2018	30/06/2022
IRCoC	Intelligent Resilience for Cloud-of-Clouds Services	FCT	01/07/2016	31/12/2019
DiSIEM	Diversity Enhancements for SIEMs	EU H2020	01/09/2016	31/08/2019
RSC Smart Grids	Resilient Supervision and Control in Smart Grids	FCT	01/03/2016	28/02/2018
SUPERCLOUD	User-Centric Management of Security and Dependability in Clouds of Clouds	EU H2020	01/02/2015	31/01/2018
SEGRID	Security for smart Electricity GRIDs	EU FP7	01/10/2014	31/12/2017
ParIS	Strategic partnership in Information Security	EU ERASMUS+	01/10/2014	30/09/2017
Biobank Cloud	Scalable, Secure Storage of Biobank Data	EU FP7	01/12/2012	30/11/2015
SITAN	SITAN - Services for Intrusion Tolerant Ad Hoc Networks	FCT	01/04/2011	30/09/2014
MASSIF	MASSIF - MAnagement of Security information and events in Service InFrastructures	EU FP7	01/10/2010	30/09/2013
TClouds	Trustworthy Clouds Privacy and Resilience for Internet-scale Critical Infrastructure	EU FP7	01/10/2010	30/09/2013
REGENESYS	Regeneration of Replicated Systems	FCT	01/01/2010	31/12/2012
ReD	Resilient Database Clusters	FCT	01/04/2010	31/03/2012
DIVERSE	Diversity for Intrusion Tolerant Systems	FCT	01/01/2010	31/12/2011
ReSIST NoE	ReSIST - Resilience for Survability in IST (Nework of Excellence)	EU FP6	01/01/2006	31/03/2009
CRUTIAL	CRitical UTility InfrastructurAL resilience	EU FP6	01/01/2006	31/12/2008

Nuno Neves. A Segurança de Software necessita de atualização quando confrontada com a realidade da aprendizagem automática distribuída?. Computação Brasil(52):35-41, Sociedade Brasileira de Computacao - SB, 2024 [Biblios]

Ferreira, Miguel Pinto da Silva, Neves, Nuno Fuentecilla Maia Ferreira, Medeiros, Ibéria Vitória de Sousa. Development of a Website for Creation of Vulnerability Datasets. Master's dissertation, 2024 [Biblios]

Simões, Rodrigo Alexandre Silva, Neves, Nuno Fuentecilla Maia Ferreira. Network resilient federated machine learning. Master's dissertation, 2024 [Biblios]

Rodrigues, Filipe Dinis Ferreira, Neves, Nuno Fuentecilla Maia Ferreira. Attack-Resilient Federated Machine Learning at Nodes. Master's dissertation, 2024 [Biblios]

Paulo Antunes, Ibéria Medeiros, Nuno Neves. Towards PHP Vulnerability Detection at an Intermediate Language Level. In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S). IEEE, 2023 [Biblios]

Filipe Rodrigues, Rodrigo Simões, Nuno Neves. FADO: A Federated Learning Attack and Defense Orchestrator. In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE, 2023 [Biblios]

Nuno Neves. Towards Fuzzing Target Lines. In 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S). IEEE, 2022 [Biblios]

Ferreira, Tomás Rafael Martins, Neves, Nuno Fuentecilla Maia Ferreira, Alegria, José António dos Santos. ZeroDays v2 Sistema de Gestão de Ameaças de Cibersegurança Dia-Zero (Exploits e Software Malicioso Dia-Zero). Master's dissertation, 2022 [Biblios]

Iberia Medeiros, Nuno Neves, Miguel Correia. Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages. IEEE Transactions on Reliability, 1-24, Institute of Electrical and Electronics Engineers (IEEE), 2022 [Biblios]

Ricardo Mendes, Tiago Oliveira, Vinicius Vielmo Cogo, Nuno Ferreira Neves, Alysson Neves Bessani. CHARON: A Secure Cloud-of-Clouds System for Storing and Sharing Big Data. IEEE Transactions on Cloud Computing, 9(4):1349-1361, Institute of Electrical and Electronics Engineers (IEEE), 2021 [Biblios]

Leyla Bilge, Lorenzo Cavallaro, Giancarlo Pellegrino, Nuno Neves. Detection of Intrusions and Malware, and Vulnerability Assessment, Springer International Publishing, Lecture Notes in Computer Science, 2021 [Biblios]

Francisco Araujo, Iberia Medeiros, Nuno Neves. Generating Tests for the Discovery of Security Flaws in Product Variants. In 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 2020 [Biblios]

Ana Fidalgo, Iberia Medeiros, Paulo Antunes, Nuno Neves. Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants. In 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 2020 [Biblios]

Iberia Medeiros, Nuno Neves. Effect of Coding Styles in Detection of Web Application Vulnerabilities. In 2020 16th European Dependable Computing Conference (EDCC). IEEE, 2020 [Biblios]

Max Alaluna, Nuno Neves, Fernando M. V. Ramos. Elastic Network Virtualization. In IEEE INFOCOM 2020 - IEEE Conference on Computer Communications. IEEE, 2020 [Biblios]

Max Alaluna, Luís Ferrolho, José Rui Figueira, Nuno Neves, Fernando M.V. Ramos. Secure multi-cloud virtual network embedding. Computer Communications, 155, Elsevier BV, 2020 [Biblios]

Clémentine Maurice, Leyla Bilge, Gianluca Stringhini, Nuno Neves. Detection of Intrusions and Malware, and Vulnerability Assessment, Springer International Publishing, Lecture Notes in Computer Science, 2020 [Biblios]

Ana Maria Dias Fidalgo, Ibéria Vitória de Sousa Medeiros, Nuno Fuentecilla Maia Ferreira Neves. Detecting Web Vulnerabilities in an intermediate Language, Resorting to Machine Learning Techniques. Master's dissertation, 2020 [Biblios]

João Rafael Xisto Miranda, Nuno Fuentecilla Maia Ferreira Neves. CSVMS – Cyber Security Vulnerability Management System. Master's dissertation, 2020 [Biblios]

Rui Filipe Gago Pereira, Nuno Fuentecilla Maia Ferreira Neves, Ibéria Vitória de Sousa Medeiro. Automatização de Requisitos de Segurança em Aplicações Android. Master's dissertation, 2020 [Biblios]

Lourenço, Bruno Octávio Horta, Medeiros, Ibéria Vitória de Sousa, Neves, Nuno Fuentecilla Maia Ferreira. Vulnerabilities detection at runtime and continuous auditing. Master's dissertation, 2020 [Biblios]

Pedro Gomes, Naercio Magaia, Nuno Neves. Industrial and Artificial Internet of Things with Augmented Reality, In Internet of Things,Convergence of Artificial Intelligence and the Internet of Things, pages 323 - 346. Springer International Publishing, 2020 [Biblios]

Ricardo Morgado, Ibéria Medeiros, Nuno Neves. Towards Web Application Security by Automated Code Correction. In 15th International Conference on Evaluation of Novel Approaches to Software Engineering. SCITEPRESS - Science and Technology Publications, 2020 [Biblios]

Miguel Garcia, Alysson Bessani, Nuno Neves. Lazarus: Automatic Management of Diversity in BFT Systems. In Proceedings of the 20th International Middleware Conference. ACM, 2019 [Biblios]

Max Alaluna, Eric Vial, Nuno Neves, Fernando M.V. Ramos. Secure Multi-Cloud Network Virtualization. Computer Networks, 161, Elsevier BV, 2019 [Biblios]

Iberia Medeiros, Miguel Beatriz, Nuno Neves, Miguel Correia. SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS. IEEE Transactions on Reliability, 68(3):1168-1188, Institute of Electrical and Electronics Engineers (IEEE), 2019 [Biblios]

Wilson S. Melo, Alysson Bessani, Nuno Neves, Altair Olivo Santin, Luiz F. Rust C. Carmo. Using Blockchains to Implement Distributed Measuring Systems. IEEE Transactions on Instrumentation and Measurement, 68(5):1503-1514, Institute of Electrical and Electronics Engineers (IEEE), 2019 [Biblios]

Eduardo Viegas, Altair Santin, Alysson Bessani, Nuno Neves. BigFlow: Real-time and reliable anomaly-based intrusion detection for high-speed networks. Future Generation Computer Systems, 93, Elsevier BV, 2019 [Biblios]

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, 101(2):161-185, Springer Nature, 2019 [Biblios]

Henriques, Miguel Garcia Tavares, Bessani, Alysson Neves, Neves, Nuno Fuentecilla Maia Ferreira. Diverse intrusion-tolerante systems. PhD thesis, 2019 [Biblios]

Francisco João Guimarães Coimbra de Almeida Araújo, Neves, Nuno Fuentecilla Maia Ferreira, Medeiros, Ibéria Vitória de Sousa. Generating software tests to check for flaws and functionalities. Master's dissertation, 2019 [Biblios]

Ricardo Jorge Graça Morgado, Medeiros, Ibéria Vitória de Sousa, Neves, Nuno Fuentecilla Maia Ferreira. Invalidating web applications attacks by employing the right secure code. Master's dissertation, 2019 [Biblios]

Paulo David Ferreira Antunes, Nuno Fuentecilla Maia Ferreira Neves, Ibéria Vitória de Sousa Medeiros. Monitoring Web Applications for Vulnerability Discovery and Removal under Attack. Master's dissertation, 2018 [Biblios]

Pedro Alexandre Pacheco Pinto Maia, Nuno Fuentecilla Maia Ferreira Neves, Fernando Manuel Valente Ramos. Resilient communications in smart Grids. Master's dissertation, 2018 [Biblios]

Paulo Nunes, Iberia Medeiros, Jose C. Fonseca, Nuno Neves, Miguel Correia, Marco Vieira. Benchmarking Static Analysis Tools for Web Security. IEEE Transactions on Reliability, 67(3):1159-1175, Institute of Electrical and Electronics Engineers (IEEE), 2018 [Biblios]

Ivo Vacas, Iberia Medeiros, Nuno Neves. Detecting Network Threats using OSINT Knowledge-Based IDS. In 2018 14th European Dependable Computing Conference (EDCC). IEEE, 2018 [Biblios]

Henrique Mendes, Iberia Medeiros, Nuno Neves. Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework. In 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE, 2018 [Biblios]

Andre Nogueira, Miguel Garcia, Alysson Bessani, Nuno Neves. On the Challenges of Building a BFT SCADA. In 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2018 [Biblios]

Miguel Garcia, Nuno Neves, Alysson Bessani. SieveQ: A Layered BFT Protection System for Critical Services. IEEE Transactions on Dependable and Secure Computing, 15(3):511-525, Institute of Electrical and Electronics Engineers (IEEE), 2018 [Biblios]

Wilson Melo, Luiz F. R. C. Carmo, Alysson Bessani, Nuno Neves, Altair Santin. How blockchains can improve measuring instruments regulation and control. In 2018 IEEE International Instrumentation and Measurement Technology Conference (I2MTC). IEEE, 2018 [Biblios]

Henrique Califórnia Mendes, Nuno Fuentecilla Maia Ferreira Neves, Ibéria Vitória de Sousa Medeiros. Security Auditing of a DLMS/COSEM Smart Grid Communication Protocol Implementation. Master's dissertation, 2018 [Biblios]

Miguel Amorim Falé, Neves, Nuno Fuentecilla Maia Ferreira, Medeiros, Ibéria Vitória de Sousa. Improving vulnerability detection of wap. Master's dissertation, 2017 [Biblios]

Eduardo Viegas, Altair Santin, Nuno Neves, Alysson Bessani, Vilmar Abreu. A Resilient Stream Learning Intrusion Detection Mechanism for Real-Time Analysis of Network Traffic. In GLOBECOM 2017 - 2017 IEEE Global Communications Conference. IEEE, 2017 [Biblios]

Fabio Pereira, Nuno Neves, Fernando M. V. Ramos. Secure network monitoring using programmable data planes. In 2017 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN). IEEE, 2017 [Biblios]

Fábio Miguel Canto Pereira, Neves, Nuno Fuentecilla Maia Ferreira, Ramos, Fernando Manuel Valente. Secure network monitoring using programmable data planes. Master's dissertation, 2017 [Biblios]

Paulo Nunes, Iberia Medeiros, Jose Fonseca, Nuno Neves, Miguel Correia, Marco Vieira. On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. In 2017 13th European Dependable Computing Conference (EDCC). IEEE, 2017 [Biblios]

Bruno Vavala, Neves, Nuno, Steenkiste, Peter. Secure large-scale outsourced services founded on trustworthy code executions. PhD thesis, 2017 [Biblios]

Iberia Medeiros, Miguel Beatriz, Nuno Neves, Miguel Correia. Demonstrating a Tool for Injection Attack Prevention in MySQL. In 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2017 [Biblios]

Bruno Vavala, Nuno Neves, Peter Steenkiste. Secure Tera-scale Data Crunching with a Small TCB. In 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2017 [Biblios]

Manuel José Ferreira Carneiro Mendonça, Neves, Nuno Fuentecilla Maia Ferreira. Vulnerability Detection in Device Drivers. PhD thesis, 2017 [Biblios]

Max Alaluna, Eric Vial, Nuno Neves, Fernando M. V. Ramos. Secure and Dependable Multi-Cloud Network Virtualization. In Proceedings of the 1st International Workshop on Security and Dependability of Multi-Domain Infrastructures - XDOMO'17. ACM Press, 2017 [Biblios]

Luís Xavier Mimoso Ferrolho, Ramos, Fernando Manuel Valente, Neves, Nuno Fuentecilla Maia Ferreira. Secure and Dependable Virtual Network Embedding. Master's dissertation, 2016 [Biblios]

Brito, Frederico António Silva de, Ramos, Fernando Manuel Valente, Neves, Nuno Fuentecilla Maia Ferreira. Fast Reroute Using Segment Routing for Smart Grids. Master's dissertation, 2016 [Biblios]

tPereira, Nuno Emanuel Nunes, Neves, Nuno Fuentecilla Maia Ferreira. A Knowledge-Based, secure and dependable self-healing architecture for the smart grid. Master's dissertation, 2016 [Biblios]

Marc Lacoste, Markus Miettinen, Nuno Neves, Fernando M.V. 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, 3(5):64-75, Institute of Electrical and Electronics Engineers (IEEE), 2016 [Biblios]

Alysson Bessani, Nuno F. Neves, Paulo Veríssimo, Wagner Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia. JITeR: Just-in-time application-layer routing. Computer Networks, 104, Elsevier BV, 2016 [Biblios]

Max Alaluna, Fernando M. V. Ramos, Nuno Neves. (Literally) Above the clouds: Virtualizing the network over multiple clouds. In 2016 IEEE NetSoft Conference and Workshops (NetSoft). IEEE, 2016 [Biblios]

Iberia Medeiros, Nuno Neves, Miguel Correia. Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report. In 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2016 [Biblios]

Bruno Vavala, Nuno Neves, Peter Steenkiste. Secure Identification of Actively Executed Code on a Generic Trusted Component. In 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2016 [Biblios]

Iberia Medeiros, Nuno Neves, Miguel Correia. Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining. IEEE Transactions on Reliability, 65(1):54-69, Institute of Electrical and Electronics Engineers (IEEE), 2016 [Biblios]

Ibéria Medeiros, Miguel Beatriz, Nuno Neves, Miguel Correia. Hacking the DBMS to Prevent Injection Attacks. In ACM Conference on Data and Applications Security and Privacy (CODASPY), 2016 [Biblios]

Ibéria Medeiros, Nuno Neves, Miguel Correia. DEKANT: a static analysis tool that learns to detect web application vulnerabilities. In Proceedings of the 25th International Symposium on Software Testing and Analysis - ISSTA 2016. ACM Press, 2016 [Biblios]

Radu Onica, Nuno Fuentecilla Maia Ferreira Neves, António Casimiro Ferreira da Costa. Secure GPS Clock Synchronization in Smart Grids. Master's dissertation, 2015 [Biblios]

André Jesus, Nuno Fuentecilla Maia Ferreira Neves. Privacy Preserving Protocols for Smart Meters and Electric Vehicles. Master's dissertation, 2015 [Biblios]

Rodrigo Medeiros, Fernando Manuel Valente Ramos, Nuno Fuentecilla Maia Ferreira Neves. Secure Monitoring for a Secure Smart Grid. Master's dissertation, 2015 [Biblios]

Radu Onica, Nuno Neves, António Casimiro. Fault-Tolerant Precision Time Protocol for Smart Grids. In 7th Simpósio de Informática (INFORUM), 2015 [Biblios]

Bruno Vavala, Nuno Neves, Peter Steenkiste. Securing Passive Replication Through Verification. In 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS), pages 176-181, 2015 [Biblios]

Semedo, Gonçalo Miguel Alves, Ramos, Fernando Manuel Valente, Neves, Nuno Fuentecilla Maia Ferreira. Load balancing in real software defined networks. Master's dissertation, 2014 [Biblios]

Ibéria Medeiros, Nuno Neves, Miguel Correia. Web Application Protection with the WAP Tool. In International Conference on Dependable Systems and Networks (DSN), 2014 [Biblios]

David Matos, Nuno Neves, Alysson Bessani. SITAN: Services for Ad Hoc Networks with Unknown Participants. In International Conference on Dependable Systems and Networks (DSN), 2014 [Biblios]

Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Neves, Rafael Obelheiro. Analysis of operating system diversity for intrusion tolerance. SOFTWARE-PRACTICE & EXPERIENCE, 44(6):735-770, 2014 [Biblios]

Ibéria Medeiros, Nuno Neves, Miguel Correia. Automatic Detection and Correction of Web Application Vulnerabilities using Data Mining to Predict False Positives. In International World Wide Web Conference (WWW), 2014 [Biblios]

José Lopes, Nuno Neves. Stopping a Rapid Tornado with a Puff. In IEEE Symposium on Security and Privacy, 2014 [Biblios]

Alysson Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Neves, Miguel Correia, Marcelo Pasin, Paulo Verissimo. SCFS: a Shared Cloud-backed File System. In USENIX Annual Technical Conference (USENIX ATC), 2014 [Biblios]

Lopes, José Manuel Sá, Neves, Nuno Fuentecilla Maia Ferreira. Communication with RaptorQ Codes in Malicious Environments. Master's dissertation, 2013 [Biblios]

Alves, Emanuel José Branco, Neves, Nuno Fuentecilla Maia Ferreira, Bessani, Alysson Neves. Comunicação e filiação em redes ad-hoc móveis com participantes desconhecidos. Master's dissertation, 2013 [Biblios]

Matos, David Rogério Póvoa de Matos, Neves, Nuno Fuentecilla Maia Ferreira. Achieving Fault-Tolerant Consensus in Ad Hoc Networks. Master's dissertation, 2013 [Biblios]

Nuno Neves (Editor). Resilient SIEM Framework Architecture, Services and Protocols, 2013 [Biblios]

José Lopes, Nuno Neves. Robustness of the RaptorQ FEC Code under Malicious Attacks. In 5th Simpósio de Informática (INFORUM), 2013 [Biblios]

David Matos, Emanuel Alves, Nuno Neves, Alysson Bessani. MiCCS4Mobile: Middleware para Comunicação e Coordenação Segura em Redes Ad-hoc com Participantes Desconhecidos. In 5th Simpósio de Informática (INFORUM), 2013 [Biblios]

Tiago Carvalho, Hyong S. Kim, Nuno Neves. PACE Your Network: Fair and Controllable Multi-Tenant Data Center Networks. In IEEE International Conference on Communications (ICC), pages 3726-3731, 2013 [Biblios]

Miguel Garcia, Nuno Neves, Alysson Bessani. An Intrusion-Tolerant Firewall Design for Protecting SIEM Systems. In WSR’13: Workshop on Systems Resilience (together with IEEE/IFIP DSN’13), 2013 [Biblios]

Manuel Mendonça, Nuno Neves. Intercept: Profiling Windows Network Device Drivers. In 14th European Workshop on Dependable Computing (EWDC), 2013 [Biblios]

Ibéria Medeiros, Nuno Neves, Miguel Correia. Securing Energy Metering Software with Automatic Source Code Correction. In IEEE International Conference on Industrial Informatics (INDIN), 2013 [Biblios]

Alysson Bessani, Marcel Santos, João Félix, Nuno Neves, Miguel Correia. On the Efficiency of Durable State Machine Replication. In SENIX Annual Technical Conference (USENIX ATC), 2013 [Biblios]

Miguel Correia, Nuno Neves, Paulo Veríssimo. BFT-TO: Intrusion Tolerance with Less Replicas. COMPUTER JOURNAL, 56(6):693-715, 2013 [Biblios]

Henrique Moniz, Nuno Neves, Miguel Correia. Byzantine Fault-Tolerant Consensus in Wireless Ad hoc Networks. IEEE TRANSACTIONS ON MOBILE COMPUTING, 12(12):2441-2454, 2013 [Biblios]

João Antunes, Nuno F. Neves. Adaptive Monitoring to Detect Intrusions in Critical Servers. In International Conference on Dependable Systems and Networks (DSN), 2012 [Biblios]

João Antunes, Nuno F. Neves. Recycling Test Cases to Detect Security Vulnerabilities. In 23nd Annual International Symposium on Software Reliability Engineering (ISSRE), 2012 [Biblios]

Bruno Vavala, Nuno F. Neves. Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions. In 31th IEEE Symposium on Reliable Distributed Systems (SRDS), 2012 [Biblios]

Miguel Garcia, Nuno Neves, Alysson Bessani. DIVERSYS: DIVErse Rejuvenation SYStem. In INFORUM - Simpósio de Informática, 2012 [Biblios]

Antunes, J., N. F. Neves, P. Veríssimo. Reverse Engineering of Protocols, 2011 [Biblios]

Bruno Vavala, Nuno Neves, Henrique Moniz, Paulo Veríssimo. Randomized Consensus in Wireless Environments, 2011 [Biblios]

Miguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Verissimo. Byzantine Consensus in Asynchronous Message-Passing Systems: a Survey, International Journal of Critical Computer-Based Systems, 2011 [Biblios]

João Antunes, Nuno Neves. Automatically Complementing Protocol Specifications From Network Traces. In 13th European Workshop on Dependable Computing, 2011 [Biblios]

Miguel Garcia, Alysson Neves Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro. OS Diversity for Intrusion Tolerance: Myth or Reality?. In International Conference on Dependable Systems and Networks (DSN). IEEE, 2011 [Biblios]

João Antunes, Nuno Neves. DiveInto: Supporting Diversity in Intrusion-Tolerant Systems. In 30th IEEE Symposium on Reliable Distributed Systems (SRDS), 2011 [Biblios]

João Antunes, Nuno Neves, Paulo Verissimo. Reverse Engineering of Protocols from Network Traces. In 18th Working Conference on Reverse Engineering (WCRE), 2011 [Biblios]

João Antunes, Nuno Neves. Using Behavioral Profiles to Detect Software Flaws in Network Servers. In 2011 IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE), pages 1-10. IEEE, 2011 [Biblios]

Henrique Moniz, Nuno Neves, Miguel Correia, Paulo Verissimo. Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. DISTRIBUTED COMPUTING, 24(4):165-175, Springer Science and Business Media LLC, 2011 [Biblios]

Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo. RITAS: Services for Randomized Intrusion Tolerance. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 8(1):122-136, 2011 [Biblios]

Henrique Moniz, Nuno F. Neves, Miguel P. Correia. Turquois: Byzantine Consensus in Wireless Ad hoc Networks (extended version), 2010 [Biblios]

João Antunes, Nuno F. Neves, Paulo Verissimo. Using Attack Injection on Closed Protocols. In Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN’10), 2010 [Biblios]

Henrique Moniz, Nuno F. Neves, Miguel P. Correia. Turquois: Byzantine Consensus in Wireless Ad hoc Networks. In In Proceedings of the International Conference on Dependable Systems and Networks (DSN), , 2010 [Biblios]

Bruno Vavala, Nuno F. Neves, Henrique Moniz, Paulo Verissimo. Randomized Consensus in Wireless Environments: A Case Where More is Better. In International Conference on Dependability (DEPEND), 2010 [Biblios]

Paulo Sousa, Alysson N. Bessani, Miguel P. Correia, Nuno F. Neves, Paulo Verissimo. Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 21(4):452-465, 2010 [Biblios]

João Antunes, Nuno F. Neves, Miguel P. Correia, Paulo Veríssimo, Rui Neves. Vulnerability Discovery with Attack Injection. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 36(3):357-370, 2010 [Biblios]

Bessani, Alysson, Correia, Miguel, Neves, Nuno, Sousa, Paulo, Verissimo, Paulo. Cheap Intrusion-Tolerant Protection for CRUTIAL Things, 2009 [Biblios]

Alata, Eric, Antunes, João, Beitollah, Hakem, Bessani, Alysson Neves, Correia, Miguel, Dantas, Wagner, Deconinck, Geert, Franceschinis, Giuliana, Kaâniche, Mohamed, Neves, Nuno, Nicomette, Vincent, Sousa, Paulo, Verissimo, Paulo. Experimental Validation of Architectural Solutions, 2009 [Biblios]

Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. Cheap Intrusion-Tolerant Protection for CRUTIAL Things, 2009 [Biblios]

João Antunes, Nuno Ferreira Neves. Building an Automaton Towards Reverse Protocol Engineering. In INForum - Simpósio de Informática 2009 , 2009 [Biblios]

Paulo Veríssimo, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa. Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. In 42nd Hawaii International Conference for the Systems Sciences (HICSS-42), 2009 [Biblios]

Paulo Sousa, Alysson N. Bessani, Wagner S. Dantas, Fabio Souto, Miguel Correia, Nuno F. Neves. Intrusion-Tolerant Self-Healing Devices fror Critical Infrastructure Protection. In 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), 2009 [Biblios]

Henrique Moniz, Nuno F. Neves, Miguel Correia, Paulo Verissimo. Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. In 23rd International Symposium on Distributed Computing (DISC). Springer Berlin Heidelberg, 2009 [Biblios]

Paulo Verissimo, Miguel Correia, Nuno F. Neves, Paulo Sousa. Intrusion-Resilient Middleware Design and Validation. Emerald, 2009 [Biblios]

Henrique Moniz, Alessandra Tedeschi, Nuno Ferreira Neves, Miguel Correia. A Distributed Systems Approach to Airborne Self-Separation. IGI Global, 2009 [Biblios]

Alata, Eric, Antunes, João, Donatelli, Susanna, Kaâniche, Mohamed, Neves, Nuno Ferreira, Veríssimo, Paulo. Experimental Validation of Architectural Solutions, 2008 [Biblios]

Paulo Veríssimo, Nuno F. Neves, Miguel Correia. The CRUTIAL Reference Critical Information Infrastructure Architecture: A Blueprint. INTERNATIONAL JOURNAL OF SYSTEM OF SYSTEMS ENGINEERING, 1(1-2):78-95, 2008 [Biblios]

Susanna Donatelli, Eric Alata, João Antunes, Mohamed Kaâniche, Nuno Neves, Vincent Nicomette, Paulo Veríssimo. Experimental Validation of Architectural Solutions, 2008 [Biblios]

Nuno Neves, Paulo Verissimo. Preliminary Specification of Services and Protocols, 2008 [Biblios]

Miguel Correia, Alysson N. Bessani, Paulo Sousa, Nuno F. Neves, Paulo Veríssimo. Critical Infrastructure Protection: the CRUTIAL Project, 2008 [Biblios]

Manuel Mendonça, Nuno Ferreira Neves. Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities. In European Dependable Computing Conference (EDCC), 2008 [Biblios]

João Antunes, Nuno Ferreira Neves, Paulo Verissimo. Detection and Prediction of Resource-Exhaustion Vulnerabilities. In IEEE International Symposium on Software Reliability Engineering (ISSRE), 2008 [Biblios]

Paulo Verissimo, Nuno F. Neves, Miguel Correia. The CRUTIAL reference critical information infrastructure architecture: a blueprint. INTERNATIONAL JOURNAL OF SYSTEM OF SYSTEMS ENGINEERING, 1(1/2):78-95, 2008 [Biblios]

Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veris-simo. The Crutial Way of Critical Infrastructure Protection. IEEE SECURITY & PRIVACY, 6(6), 2008 [Biblios]

Paulo Verissimo, Nuno F. Neves, Miguel Correia, Y. Deswarte, A. Abou El Kalam, A. Bondavalli, A. Daidone. The CRUTIAL Architecture for Critical Information Infrastructures. Springer Verlag, 2008 [Biblios]

Bessani, Alysson Neves, Correia, Miguel, Neves, Nuno Ferreira, Sousa, Paulo, Veríssimo, Paulo. Resilient Intrusion Tolerance through Proactive and Reactive Recovery, 2007 [Biblios]

Bessani, Alysson Neves, Correia, Miguel, Neves, Nuno Ferreira, Sousa, Paulo, Veríssimo, Paulo. Intrusion-Tolerant Protection for Critical Infrastructures, 2007 [Biblios]

Correia, Miguel, Neves, Nuno Ferreira. Proceedings of the First Workshop on Recent Advances on Intrusion-Tolerant Systems, 2007 [Biblios]

Manuel Mendonça, Nuno Ferreira Neves. Localização de Vulnerabilidades de Segurança em Gestores de Dispositivos Wi-Fi com Técnicas de Fuzzing. In 3rd Conferência Nacional sobre Segurança Informática nas Organizações, 2007 [Biblios]

Emanuel Teixeira, João Antunes, Nuno Ferreira Neves. Avaliação de Ferramentas de Análise Estática de Código para Detecção de Vulnerabilidades. In 3rd Conferência Nacional sobre Segurança Informática nas Organizações, 2007 [Biblios]

Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo. Hidden Problems of Asynchronous Proactive Recovery. In Third Workshop on Hot Topics in System Dependability, 2007 [Biblios]

Paulo Sousa, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. Resilient Intrusion Tolerance through Proactive and Reactive Recovery. In 13th Pacific Rim International Symposium on Dependable Computing, 2007 [Biblios]

Manuel Mendonça, Nuno Ferreira Neves. Robustness Testing of the Windows DDK. In International Conference on Dependable Systems and Networks , 2007 [Biblios]

Manuel Mendonça, Nuno Ferreira Neves. Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities. In 10th IEEE High Assurance Systems Engineering Symposium, 2007 [Biblios]

João Antunes, Nuno F. Neves, Paulo Veríssimo. Finding Local Resource Exhaustion Vulnerabilities. In International Symposium on Software Reliability Engineering, 2007 [Biblios]

Henrique Moniz, Nuno F. Neves, Lau Cheuk Lung, Paulo Veríssimo. Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. In 13th IEEE Pacific Rim Dependable Computing Conference, 2007 [Biblios]

Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno F. Neves, Paulo Veríssimo. Protecting CRUTIAL Things. In 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007 [Biblios]

Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno F. Neves, Paulo Veríssimo. When 3f+1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus. In 21st International Symposium on Distributed Computing, 2007 [Biblios]

Henrique João Domingos, Nuno Ferreira Neves. SINO 2007 – Conferência Nacional sobre Segurança Informática nas Organizações, 2007 [Biblios]

Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo. Worm-IT ? A Wormhole-based Intrusion-Tolerant Group Communication System. JOURNAL OF SYSTEMS AND SOFTWARE, 80(2):178-197, 2007 [Biblios]

Lopes, Antónia, Neves, Nuno Ferreira, Sousa, Paulo, Veríssimo, Paulo. On the Resilience of Intrusion-Tolerant Distributed Systems, 2006 [Biblios]

Veríssimo P., N. F. Neves, M. Correia. CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. In 1st International Workshop on Critical Information Infrastructures, 2006 [Biblios]

Veríssimo P., N. F. Neves, C. Cachin, J. A. Poritz, D. Powell, Y. Deswarte, R. J. Stroud, I. S. Welch. Intrusion-Tolerant Middleware: The Road to Automatic Security. IEEE SECURITY & PRIVACY, 4(4):54-62, 2006 [Biblios]

Sousa P., N. F. Neves, P. Veríssimo, W. H. Sanders. Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. In 25th IEEE Symposium on Reliable Distributed Systems, 2006 [Biblios]

Sousa P., N. F. Neves, P. Veríssimo. Proactive Resilience through Architectural Hybridization. In ACM Symposium on Applied Computing, 2006 [Biblios]

N. F. Neves, J. Antunes, M. Correia, P. Veríssimo, R. Neves. Using Attack Injection to Discover New Vulnerabilities. In International Conference on Dependable Systems and Networks, 2006 [Biblios]

Moniz H., N. F. Neves, M. Correia, P. Veríssimo. Randomized Intrusion-Tolerant Asynchronous Services. In International Conference on Dependable Systems and Networks, 2006 [Biblios]

Moniz H., N. F. Neves, M. Correia, P. Veríssimo. Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. In 25th IEEE Symposium on Reliable Distributed Systems, 2006 [Biblios]

Correia M., N. F. Neves, P. Veríssimo. From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. COMPUTER JOURNAL, 41(1):82-96, 2006 [Biblios]

Neves, Nuno Ferreira, Sousa, Paulo, Veríssimo, Paulo. Resilient State Machine Replication, 2005 [Biblios]

Neves, Nuno Ferreira, Sousa, Paulo, Veríssimo, Paulo. Proactive Resilience through Architectural Hybridization, 2005 [Biblios]

Bessani, Alysson Neves, Correia, Miguel, Lung, Lau Cheuk, Neves, Nuno Ferreira, Veríssimo, Paulo. Improving Byzantine Protocols with Secure Computational Components, 2005 [Biblios]

Correia, Miguel, Neves, Nuno Ferreira, Veríssimo, Paulo. From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures, 2005 [Biblios]

Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo. How dependable are distributed f fault/tolerant systems?, 2005 [Biblios]

Nuno Ferreira Neves. Tolerância a Intrusões em Sistemas Informáticos, 2005 [Biblios]

Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo. Resilence State Machine Replication, 2005 [Biblios]

Miguel Correia, Alysson Neves Bessani, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo. Improving Byzantine Protocols with Secure Computational Components, 2005 [Biblios]

Pan Jieke, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. Um Núcleo de Segurança Distribuído para Suporte a Protocolos Tolerantes a Intrusões. In 1ª Conferência Nacional sobre Segurança Informática nas Organizações (SINO'2005), 2005 [Biblios]

José Pascoal, Tiago Jorge, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. FTP Tolerante a Intrusões. In 1ª Conferência Nacional sobre Segurança Informática nas Organizações (SINO'2005), 2005 [Biblios]

João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Neves. Diagnóstico de Vulnerabilidades através da Injecção de Ataques. In 1ª Conferência Nacional sobre Segurança Informática nas Organizações (SINO'2005), 2005 [Biblios]

Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo. A New Approach to Proactive Recovery. In Fifth European Dependable Computing Conference (EDCC-5), pages 35-40, 2005 [Biblios]

Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo. How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?. In International Conference on Dependable Systems and Networks (DSN'05), pages 98-107, 2005 [Biblios]

Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo. Resilient State Machine Replication. In 11th Pacific Rim International Symposium on Dependable Computing (PRDC), pages 305-309, 2005 [Biblios]

Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo, Lau Cheuk Lung. Low Complexity Byzantine-Resilient Consensus. DISTRIBUTED COMPUTING, 17(3):237-249, 2005 [Biblios]

Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo. Solving Vector Consensus with a Wormhole. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 16(12):1120-1131, 2005 [Biblios]

Correia, Miguel, Neves, Nuno Ferreira, Veríssimo, Paulo. From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures, 2004 [Biblios]

Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures, 2004 [Biblios]

Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems, 2004 [Biblios]

Tiago Jorge, José Pascoal, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões. In 7ª Conferência sobre Redes de Computadores, pages 111-122, 2004 [Biblios]

Rafael Ferraz, João Sequeira, Bruno Gonçalves, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. An Intrusion-Tolerant Web Server based on the DISTRACT Architecture. In Workshopon Dependable Distributed Data Management, pages 45-50, 2004 [Biblios]

Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo. Wormhole-Aware Byzantine Protocols. In The 2nd Bertinoro Workshop on Future Directions in Distributed Computing: Survivability – Ob-stacles and Solutions (FuDiCo: SOS), 2004 [Biblios]

Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. In 23rd IEEE Symposium on Reliable Distributed Systems, pages 174-183, 2004 [Biblios]

Miguel Correia, Nuno Ferreira Neves, Lau Lung, Paulo Veríssimo. Byzantine-ResistanceConsensus based on a Novel Approach to Intrusion Tolerance. In 10th Pacific Rim Internital Symposium on Dependable Computing, 2004 [Biblios]

Manuel Mendonça, Nuno Ferreira Neves. Application Updates on Point of Sale Devices. In IEEE first International Conference on E-business and Telecommunication (ICETE), 2004 [Biblios]

Manuel Mendonça, Nuno Ferreira Neves. Actualização Segura e Automática de Aplicações em Terminais de Venda. In 7ª Conferência sobre Redes de Computadores (CRC 2004), 2004 [Biblios]

Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo. Tolerating Intrusions in Grid Systems. In International Conference on Security and Management (SAM 2004), 2004 [Biblios]

Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo. Tolerância a Intrusões num Sistema em Grid. In 7ª Conferência sobre Redes de Computadores (CRC 2004), 2004 [Biblios]

Correia, Miguel, Neves, Nuno Ferreira, Veríssimo, Paulo. Intrusion-Tolerant Architectures: Concepts and Design, 2003 [Biblios]

Correia, Miguel, Lung, Lau Cheuk, Neves, Nuno Ferreira, Veríssimo, Paulo. Low Complexity Byzantine-Resilient Consensus, 2003 [Biblios]

Paulo Veríssimo, Nuno F. Neves, Miguel Correia. Intrusion-Tolerant Architectures: Concepts and Design, 2003 [Biblios]

Miguel Correia, N. F. Neves, L. C. Lung, P. Veríssimo. Low Complexity Byzantine-Resilient Consensus, 2003 [Biblios]

Miguel Correia, Nuno F. Neves, Lau C. Lung, Paulo Veríssimo. A Wormhole-based Intrusion-Tolerant Group Communication System – WIT-GCS, 2003 [Biblios]

Lau C. Lung, Miguel Correia, Nuno F. Neves, Paulo Veríssimo. A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCB. In 21º Simpósio Brasileiro de Redes de Computadores, pages 649-663, 2003 [Biblios]

Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia. Intrusion-Tolerant Architectures: Concepts and Design, In Architecting Dependable Systems, pages 3 - 36. Springer-Verlag , 2003 [Biblios]

Armstrong, J., Cachin, C., Correia, Miguel, Costa, A., Lung, Lau Cheuk, Miranda, Hugo, Neves, Nuno Ferreira, Neves, Nuno M., Poritz, J. A., Randell, B., Rodrigues, Luís, Stroud, Robert J., Veríssimo, Paulo, Waidner, M., Welch, I. S.. Complete Specification of APIs and Protocols for the MAFTIA Middleware, 2002 [Biblios]

Nuno Ferreira Neves, Paulo Veríssimo. Complete Specification of APIs and Protocols for the MAFTIA Middleware, 2002 [Biblios]

Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves. The Design of a COTS Real-Time Distributed Security Kernel. In Fourth European Dependable Computing Conference (EDCC), 2002 [Biblios]

Miguel Correia, Lau Lung, Nuno Ferreira Neves, Paulo Veríssimo. Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. In 21th Symposium on Reliable Distributed Systems (SRDS), 2002 [Biblios]

Cachin, C., Correia, Miguel, McCutcheon, T., Neves, Nuno Ferreira, Pfitzmann, B., Randell, B., Schunter, M., Stroud, Robert J., Veríssimo, Paulo, Waidner, M., Welch, I. S.. Service and Protocol Architecture for the MAFTIA Middleware, 2001 [Biblios]

Armstrong, J., Cachin, C., Correia, Miguel, Costa, A., Lung, Lau Cheuk, Miranda, Hugo, Neves, Nuno Ferreira, Neves, Nuno M., Poritz, J. A., Randell, B., Rodrigues, Luís, Stroud, Robert J., Veríssimo, Paulo, Waidner, M., Welch, I. S.. First Specification of APIs and Protocols for the MAFTIA Middleware, 2001 [Biblios]

Paulo Veríssimo, Nuno Ferreira Neves. Service and Protocol Architecture for the MAFTIA Middleware, 2001 [Biblios]

Nuno Ferreira Neves, Paulo Veríssimo. First Specification of APIs and Protocols for the MAFTIA Middleware, 2001 [Biblios]

Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves. The Design of a COTS Real-Time Distributed Security Kernel, 2001 [Biblios]

Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves. The Architecture of a Secure Group Communication System based on Intrusion Tolerance. In IEEE International Workshop on Applied Reliable Group Communication (WARGC), 2001 [Biblios]

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 DSN 2001 - International Conference on Dependable Systems and Networks, pages 32-35, 2001 [Biblios]

Correia, Miguel, Neves, Nuno Ferreira, Veríssimo, Paulo. The Middleware Architecture of MAFTIA: A Blueprint, 2000 [Biblios]

Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia. The Middleware Architecture of MAFTIA: A Blueprint, 2000 [Biblios]

Paulo Veríssimo, Nuno F. Neves, Miguel Correia. The Middleware Architecture of MAFTIA: A Blueprint. In IEEE Third Survivability Workshop (ISW), pages 157-161, 2000 [Biblios]

K.-F. Ssu, B. Yao, W. K. Fuchs, N. F. Neves. Adaptive Checkpointing with Storage Management for Mobile Environments. IEEE TRANSACTIONS ON RELIABILITY, 48(4):315-324, 1999 [Biblios]

W.K. Fuchs, N. Neves, K.-F. Ssu. Dependable Distributed and Mobile Computing. Utilizing Time to Enhance Recovery from Failures. Kluwer Academic Publishers, 1999 [Biblios]