Nuno Ferreira Neves
From Navigators
Faculty
- Email: nuno@di.fc.ul.pt
- Homepage: http://www.di.fc.ul.pt/~nuno
Projects
Current projects
- VEDLIoT (Very Efficient Deep Learning in IOT)
- ADMORPH (Towards Adaptively Morphing Embedded Systems)
- SEAL (SEcurity progrAmming of web appLications)
- Xivt (eXcellence In Variant Testing)
Past projects
- DiSIEM (Diversity-enhancements for Security Information and Event Management)
- IRCoC (Intelligent Resilience for Cloud-of-Clouds Services)
- SUPERCLOUD (User-Centric Management of Security and Dependability in Clouds of Clouds)
- SEGRID (Security for smart Electricity GRIDs)
- BioBankCloud (Scalable, Secure Storage of Biobank Data)
- SecFuNet (Security for Future Networks)
- SITAN (Services for Intrusion Tolerant Ad Hoc Networks)
- MASSIF (MAnagement of Security information and events in Service Infrastructures)
- TCLOUDS (Trustworthy Clouds: Privacy and Resilience for Internet-scale Critical Infrastructure)
- DIVERSE (Diversity for Intrusion-Tolerant Systems)
- REGENESYS (Regeneration of Replicated Systems)
- RESIST NoE (Resilience for Survivability in IST (Network of Excellence))
- CRUTIAL (CRitical UTility InfrastructurAL resilience)
- AJECT (Attack Injection on Software Components)
- RITAS (Randomized Intrusion Tolerance for Asynchronous Systems)
- COPE (Secure and Reliable Parallel Processing)
- CaberNet (Network of Excellence in Distributed and Dependable Computing Systems)
- DEFEATS (Distributed Fault and Attack Tolerant Systems Configuration)
- MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications)
- ReD (Resilient Database Clusters)
Student supervision
Concluded
- Bruno Vavala, “Secure Large-Scale Outsourced Services Founded on Trustworthy Code Executions”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Jul. 2017.
- Manuel Mendonça, “Vulnerability Detection in Device Drivers”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Mar. 2017.
- Ibéria Medeiros, “Detection of Vulnerabilities and Automatic Protection for Web Applications”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Sept. 2016.
- João Antunes, “Network Attack Injection”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, May 2012.
- Henrique Moniz, “Byzantine Fault-Tolerant Agreement Protocols for Wireless Ad hoc Networks”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Nov. 2010.
- Paulo Sousa, “Proactive Resilience”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, May 2007.
- Rui Pereira, “Automatização de Requisitos de Segurança em Aplicações Android”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2020.
- Ana Fidalgo, “Detecting Web Vulnerabilities in an Intermediate Language Resorting of Machine Learning Techniques”, Master’s thesis, Mestrado em Ciência em Dados, Nov. 2020.
- BrunoLourenco, “Vulnerabilities Detection at Runtime and Continuous Auditing”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Apr. 2020.
- Francisco Araujo, “Generating software tests to check for flaws and functionalities”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2019.
- Ricardo Morgado, “Invalidating web applications attacks by employing the right secure code”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2019.
- Paulo Antunes, “Monitoring Web Applications for Vulnerability Discovery and Removal under Attack”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Oct. 2018.
- Pedro Maia, “Resilient Communications in Smart Grids”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2018.
- Henrique Mendes, “Security Auditing of a DLMS/COSEM Smart Grid Communication Protocol Implementation”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Apr. 2018.
- Miguel Falé, “Improving Vulnerability Detection of WAP”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2017.
- Fabio Pereira, “Secure Network Monitoring Using Programmable Data Planes”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2017.
- Luís Ferrolho, “Secure and Dependable Virtual Network Embedding”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Nov. 2016.
- Nuno Pereira, “A Knowledge-based, Secure and Dependable Self-Healing Architecture for the Smart Grid”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Oct. 2016.
- Frederico Brito, “Fast Reroute Usig Segment Routing for Smart Grids”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Oct. 2016.
- Rodrigo de Medeiros, “Secure Monitoring for a Secure Smart Grid”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2015.
- André Jesus, “Privacy Preserving Protocols for Smart Meters and Electric Vehicles”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2015.
- Fernando Alves, “Vulnerability Discovery in Power Line Communications”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Jul. 2015.
- Radu Onica, “Secure GPS Clock Synchronization in Smart Grids”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Jul. 2015.
- Goncalo Miguel Alves Semedo, “Load Balancing in Real Software Defined Networks”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2014.
- Miguel Garcia, “Diversity Management in Intrusion Tolerant Systems”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2011.
- Luís Fernandes Sousa, “Privacy Policy Dynamics in Location Sharing Applications”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2009.
- Tiago Carvalho, “Root Cause Analysis in Large and Complex Networks”, Master’s thesis, Mestrado em Segurança Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2008.
- Emanuel Teixeira, “Ferramenta de Análise de Código para Detecção de Vulnerabilidades”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2007.
- João Manuel Alexandre Cardana, “Analisador Comportamental de Rede”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2006.
- Henrique Moniz, “Randomized Intrusion-Tolerant Asynchronous Services”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Dec. 2006.
- João Antunes, “Vulnerability Assessment Through Attack Injection”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Nov. 2006.
- Manuel Mendonça, “ASASP – Actualização Segura de Aplicações em Sistemas POS”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Jan. 2005.
- Claudia Carvalho, “Infra-estrutura de Chave Pública do Ministério da Justiça”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Apr. 2003.
Ongoing
- Paulo Antunes (PhD student)
- Ana Fidalgo (PhD student)
- Diogo Duarte (MSc student)
- Pedro Alves (MSc student)
- Rodrigo Simões (MSc student)
Publications
- Ricardo Mendes, Tiago Oliveira, Vinicius Vielmo Cogo, Nuno Ferreira 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, pp. 1349–1361, Oct. 2021. 10.1109/TCC.2019.2916856
- Ana Fidalgo, Ibéria Medeiros, Nuno Ferreira Neves, “Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants”, in In Proceedings of the Workshop on Testing of Configurable and Multi-variant Systems (ToCaMS), Oct. 2020.
- Francisco Araujo, Ibéria Medeiros, Nuno Ferreira Neves, “Generating Tests for the Discovery of Security Flaws in Product Variants”, in In Proceedings of the International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS), Oct. 2020.
- Ibéria Medeiros, Nuno Ferreira Neves, “Effect of Coding Styles in Detection of Web Application Vulnerabilities”, in In Proceedings of the European Dependable Computing Conference (EDCC), Sept. 2020.
- Ricardo Morgado, Ibéria Medeiros, Nuno Ferreira Neves, “Towards Web Application Security by Automated Code Correction”, in In Proceedings of the International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), May 2020.
- Max Alaluna, Eric Vial, Nuno Ferreira Neves, Fernando Ramos, “Secure Multi-Cloud Network Virtualization”, Computer Networks, vol. 161, pp. 45–60, Oct. 2019.
- Ibéria Medeiros, Miguel Beatriz, Nuno Ferreira Neves, Miguel Correia, “SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS”, IEEE Transactions on Reliability, vol. 68, no. 3, pp. 1168 – 1188, Sept. 2019.
- Francisco Araujo, Ibéria Medeiros, Nuno Ferreira Neves, “Geração de Testes de Software para Verificação de Faltas e Funcionalidades”, in Simpósio de Informática (INFORUM), Sept. 2019.
- Wilson Melo Jr, Alysson Bessani, Nuno Ferreira Neves, Altair Santin, Luis Carmo, “Using Blockchains to Implement Distributed Measuring Systems”, IEEE Transactions on Instrumentation and Measurement, vol. 68, no. 5, pp. 1503–1514, May 2019.
- Eduardo Viegas, Altair Santin, Alysson Bessani, Nuno Ferreira Neves, “BigFlow: Real-time and Reliable Anomaly-based Intrusion Detection for High-Speed Networks”, Future Generation Computer Systems, vol. 93, pp. 473–485, Apr. 2019.
- Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira, “An Empirical Study on Combining Diverse Static Analysis Tools for Web Security Vulnerabilities based on Development Scenarios”, Computing, vol. 101, no. 2, pp. 161–185, Feb. 2019.
- Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira, “Benchmarking Static Analysis Tools for Web Security”, IEEE Transactions on Reliability, vol. 67, no. 3, pp. 1159 – 1175, Sept. 2018.
- Ivo Vacas, Ibéria Medeiros, Nuno Ferreira Neves, “Detecting Network Threats using OSINT Knowledge-based IDS”, in Proceedings of the 14th European Dependable Computing Conference (EDCC), Sept. 2018.
- Paulo Antunes, Ibéria Medeiros, Nuno Ferreira Neves, “Remoção Automática de Vulnerabilidades usando Análise Estática de Código Direcionada”, in Proceedings of the 10th Simpósio de Informática (INForum 2018), Coimbra, Portugal, Sept. 2018.
- Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani, “SieveQ: A Layered BFT Protection System for Critical Services”, IEEE Transactions on Dependable and Secure Computing, vol. 15, no. 3, pp. 511–525, Jun. 2018.
- Henrique Mendes, Ibéria Medeiros, Nuno Ferreira Neves, “Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework”, in Proceedings of the Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Jun. 2018.
- Wilson Melo Jr, Luis Carmo, Alysson Bessani, Nuno Ferreira Neves, Altair Santin, “How Blockchains can improve Measuring Instruments Regulation and Control”, in International Instrumentation and Measurement Technology Conference (I2MTC), May 2018.
- André Nogueira, Miguel Garcia, Alysson Bessani, Nuno Ferreira Neves, “On the Challenges of Building a BFT SCADA,”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), 2018, pp. 8.
- Fabio Pereira, Nuno Ferreira Neves, Fernando Ramos, “Secure Network Monitoring Using Programmable Data Planes”, in Third International Workshop on Security in NFV-SDN (IEEE NFV-SDN 2017), Nov. 2017.
- Miguel Falé, Ibéria Medeiros, Nuno Ferreira Neves, “Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código”, in Proceedings of the 9th Simpósio de Informática (INForum 2017), Aveiro, Portugal, Oct. 2017.
BibTeX
Navigators - Nuno Ferreira Neves| Faculty members | Alan Oliveira, Alysson Bessani, Ana Respício, António Casimiro, Bernardo Ferreira, Ibéria Medeiros, José Cecílio, Nuno Ferreira Neves, Pedro M. Ferreira, Vinicius Vielmo Cogo |
|---|---|
| Post-doc researchers | David Matos |
| PhD students | Adriano Mão de Ferro, AdrianoSerckumecka, Allan Espíndola, Ana Fidalgo, Carlos Mão de Ferro, Fernando Alves, Joel Samper, Miracle Aniakor, Nuno Dionísio, Paulo Antunes, Regivaldo Costa, Robin Vassantlal, Rohit Kumar, Samaneh Shafee, Žygimantas Jasiūnas |
| Hired researchers | (none) |
| MSc students | Alexandre Nascimento, André Gil, Bruno Matos, David Silva, Diogo Avelãs, Diogo Duarte, Diogo Pires, Diogo Ferreira, Frederico Apolónia, Gonçalo Reis, Inês Sousa, João Loureiro, João Queimado, João Silva, João Valente, Lívio Rodrigues, Miguel Oliveira, Pedro Alves, Pedro Rosa, Rafael Ramires … further results |
| Undergraduate students | (none) |
| Management | (none) |
