MEMBER

Nuno Neves

Profile Picture of Nuno Neves

ONGOING

Acronym Title Funding Entity Start Date End Date
XIVT eXcellence In Variant Testing P2020 01/01/2020 31/12/2022
SEAL SEcurity progrAmming of web appLications FCT 01/08/2018 30/06/2022
ThreatAdapt Adaptive Byzantine Fault and Intrusion Tolerance FCT 01/07/2019 30/06/2022
uPVN User-Centric Programmable Virtual Networks FCT 01/10/2018 30/09/2021

PAST

Acronym Title Funding Entity Start Date End Date
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
to
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]
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]
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]
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, 1-1, 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]
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]
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]
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]
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]
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]
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]
José Lopes, Nuno Neves. Stopping a Rapid Tornado with a Puff. In IEEE Symposium on Security and Privacy, 2014 [Biblios]
José Lopes, Nuno Neves. Robustness of the RaptorQ FEC Code under Malicious Attacks. 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]
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]
Miguel Garcia, Nuno Neves, Alysson Bessani. DIVERSYS: DIVErse Rejuvenation SYStem. In INFORUM - Simpósio de Informática, 2012 [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 22nd annual International Symposium on Software Reliability Engineering (ISSRE), 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]
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 Sousa, Nuno Ferreira Neves, Paulo Veríssimo. Hidden Problems of Asynchronous Proactive Recovery. In Third Workshop on Hot Topics in System Dependability, 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]
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]
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]
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]
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]
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]
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]
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]
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]
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, 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]
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]