Nuno Neves
ONGOING
| Acronym | Title | Funding Entity | Start Date | End Date |
|---|---|---|---|---|
| SMaRtChain | Fast and Energy-efficient Distributed Consensus for Blockchains | FCT | 01/03/2023 | 28/02/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 |
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]
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]
João Rafael Xisto Miranda, Nuno Fuentecilla Maia Ferreira Neves. CSVMS – Cyber Security Vulnerability Management System. 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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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 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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]