???global.info.a_carregar???
Nuno Ferreira Neves is a Professor at the Department of Computer Science, Faculty of Sciences of the University of Lisboa (FCUL). He is on the Coordination Board of the LASIGE research unit, where he leads the research line on Dependable and Secure Decentralized Systems (www.lasige.di.fc.ul.pt). His main research interests are in the security and dependability aspects of distributed systems and networks. He investigates models, protocols, and architectures that are suitable for applications with strong dependability requirements, namely applications that need to remain operational despite accidental faults or malicious attacks. He is involved as a researcher in the national project Fast and Energy-efficient Distributed Consensus for Blockchains (SMaRtChain). In the past years, he has contributed to several other security & dependability-related projects at European level, such as SUPERCLOUD, SEGRID, and MASSIF, and nationally, such as SEAL, uPVN, SITAN, DIVERSE, and RITAS. He is a member of the Steering Committee of the IEEE/IFIP International Conference on Dependable Systems and Networks. He is on the editorial board of the International Journal of Critical Computer-Based Systems. Recently, he was Chair of the IEEE Computer Society Technical Committee on Dependable Computing and Fault Tolerance (TCFT) (2021-2023). His work has been recognized on several occasions, for example with the IBM Scientific Prize, the Test-of-Time award at DSN, and the Best student paper at Middleware. He has more than 150 publications and has served on the program committee of 130 conferences and workshops.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Nuno Fuentecilla Maia Ferreira Neves

Nomes de citação

  • Nuno Neves
  • Nuno Ferreira Neves

Identificadores de autor

Ciência ID
A911-5BBB-A8E9
ORCID iD
0000-0003-0411-4542
Google Scholar ID
DKjzXc8AAAAJ&hl

Endereços de correio eletrónico

  • nuno@di.fc.ul.pt (Profissional)

Moradas

  • Departamento de Informática - Faculdade de Ciências da Universidade Lisboa. Bloco C6 - Piso 3, Campo Grande, 1749-016, Lisboa, Lisboa, Portugal (Profissional)

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Formação
Grau Classificação
2014
Concluído
 Habilitation/Agregação (Título de Agregado)
Universidade de Lisboa Faculdade de Ciências, Portugal
 Approved unanimously
1998
Concluído
 Ph.D. in Computer Science (Doctor of Philosophy)
University of Illinois at Urbana-Champaign, Estados Unidos
"Time-Based Coordinated Checkpointing" (TESE/DISSERTAÇÃO)
 GPA 4.0/4.0
1995
Concluído
 Master in Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Checkpointing num Sistema de Memória Distribuída" (TESE/DISSERTAÇÃO)
 Muito Bom
1992
Concluído
 Batchelor in Engenharia Electrotécnica e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 17
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2015 - Atual Investigador principal (carreira) (Investigação) Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2014 - 2015 Investigador Coordenador (carreira) (Investigação) Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
1998 - 2014 Investigador (Investigação) Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
1997 - 1998 Assistente de Investigação (carreira) (Investigação) Electrical and Computer Engineering Department of the Purdue University, Estados Unidos
1996 - 1998 Assistente de Investigação (carreira) (Investigação) Center for Reliable and High-Performance Computing of the University of Illinois at Urbana-Champaign, Estados Unidos
1992 - 1994 Estagiário de Investigação (Investigação) Instituto de Engenharia de Sistemas e Computadores, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2016 - Atual Professor Catedrático (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
2009 - 2016 Professor Associado (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
1999 - 2009 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2008 - 2011 Adjunct Faculty Carnegie Mellon University Information Networking Institute, Estados Unidos
Projetos

Bolsa

Designação Financiadores
2024/01/01 - Atual Researcher in more than 25 funded projects; List available at: https://www.di.fc.ul.pt/~nuno/projects.html
Other
Investigador

Projeto

Designação Financiadores
2023/03/01 - 2026/02/28 SMaRtChain - Fast and Energy-efficient Distributed Consensus for Blockchains
2022.08431.PTDC
Investigador
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2020/01/01 - 2023/05/31 XIVT - eXcellence In Variant Testing
LISBOA-01-0247-FEDER-039238
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Concluído
2019/07/01 - 2022/06/30 ThreatAdapt - Adaptive Byzantine Fault and Intrusion Tolerance
FCT-FNR/0002/2018
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2018/10/01 - 2021/09/30 uPVN - User Centric Programmable Virtual Networks
PTDC/CCI-INF/30340/2017
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2018/08/01 - 2021/07/31 SEAL - SEcurity progrAmming of web appLications
PTDC/CCI-INF/29058/2017
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2018/06/01 - 2021/05/31 Deteção e Resposta a Intrusões Usável em Dispositivos Móveis Pessoais
PTDC/CCI-COM/30347/2017
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2019/01/01 - 2019/12/31 LABORATÓRIO DE SISTEMAS INFORMÁTICOS DE GRANDE-ESCALA
UID/CEC/00408/2019
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2016/01/01 - 2018/12/31 Resilient Supervision and Control in Smart Grids
FCT/CAPES
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2015/02/01 - 2018/01/31 SUPERCLOUD - User-Centric Management of Security and Dependability in Cloud of Clouds
EU H2020-ICT-2014-1: 643964
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluído
2014/10/01 - 2017/12/31 SEGRID: Security for smart Electricity GRIDs
FP7-607109
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluído
2014/10/01 - 2017/09/30 ParIS: Partnership in Information Security
1077509
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluído
2012/12/01 - 2015/11/30 BiobankCloud: Scalable, Secure Storage of Biobank Data
FP7-317871
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluído
2011/04/01 - 2014/09/30 SITAN - Services for Intrusion Tolerant Ad Hoc Networks
PTDC/EIA-EIA/113729/2009
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2010/10/01 - 2014/03/31 TRONE: Operações Confiáveis e Resilientes em Ambientes de Redes
CMU-PT/RNQ/0015/2009
Centro de Estudos em Geografia e Ordenamento do Território, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

Universidade de Coimbra, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal

Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2011/01/01 - 2013/12/31 Strategic Project - UI 408 - 2011-2012
PEst-OE/EEI/UI0408/2011
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2010/10/01 - 2013/09/30 MASSIF - MAnagement of Security information and events in Service InFrastructures
FP7-257475
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluído
2010/01/01 - 2012/12/31 Diverse - Diversity for Intrusion Tolerant Systems
PTDC/EIA-EIA/100894/2008
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2010/01/01 - 2012/12/31 REGENESYS - Regeneration of Replicated Systems
PTDC/EIA-EIA/100581/2008
Investigador
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2010/04/01 - 2012/09/30 ReD: Resilient Database Clusters
PTDC/EIA-EIA/109044/2008
Investigador
Universidade do Minho Centro ALGORITMI, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2005/05/01 - 2007/12/31 AJECT: Attack Injection on Software Components
POSC/EIA/61643/2004
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2005/03/01 - 2007/12/31 RITAS - Randomized Intrusion Tolerance for Asynchronous Systems
POSC/EIA/60334/2004
Investigador responsável
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Neves, Nuno. "Please go to site to access all publications: https://www.di.fc.ul.pt/~nuno/pubs.html". 2024.
  2. Rodrigues, Filipe; Simões, Rodrigo; Neves, Nuno. "FADO: A Federated Learning Attack and Defense Orchestrator". 2023.
    10.1109/dsn-w58399.2023.00043
  3. Antunes, Paulo; Medeiros, Ibéria; Neves, Nuno. "Towards PHP Vulnerability Detection at an Intermediate Language Level". 2023.
    10.1109/dsn-s58398.2023.00049
  4. Araujo, Francisco; Medeiros, Iberia; Neves, Nuno. "Generating Tests for the Discovery of Security Flaws in Product Variants". 2020.
    10.1109/icstw50294.2020.00033
  5. Fidalgo, Ana; Medeiros, Iberia; Antunes, Paulo; Neves, Nuno. "Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants". 2020.
    10.1109/icstw50294.2020.00083
  6. Medeiros, Iberia; Neves, Nuno. "Effect of Coding Styles in Detection of Web Application Vulnerabilities". 2020.
    10.1109/edcc51268.2020.00027
  7. Morgado, Ricardo; Medeiros, Ibéria; Neves, Nuno. "Towards Web Application Security by Automated Code Correction". 2020.
    10.5220/0009369900860096
  8. Fidalgo, Ana; Medeiros, Ibéria; Antunes, Paulo; Nuno Ferreira Neves. "Towards a Deep Learning Model for Vulnerability Detection". Trabalho apresentado em International WS Workshop on Testing of Configurable and Multi-variant Systems, Porto, 2020.
    Aceite para publicação
  9. Alaluna, Max; Neves, Nuno; Ramos, Fernando M. V.. "Elastic Network Virtualization". 2020.
    10.1109/infocom41043.2020.9155287
  10. Garcia, Miguel; Bessani, Alysson; Neves, Nuno. "Lazarus: Automatic Management of Diversity in BFT Systems". 2019.
    10.1145/3361525.3361550
  11. Antunes, Paulo; Medeiros, Ibéria; Nuno Ferreira Neves. "Remoção Automática de Vulnerabilidades usando Análise Estática de Código Direcionada". Trabalho apresentado em 10º Simpósio de Informática (INForum 2018), Coimbra, 2018.
    Publicado
  12. Nogueira, Andre; Garcia, Miguel; Bessani, Alysson; Neves, Nuno. "On the Challenges of Building a BFT SCADA". 2018.
    10.1109/dsn.2018.00028
  13. Melo, W.; Carmo, L.F.R.C.; Bessani, A.; Neves, N.; Santin, A.. "How blockchains can improve measuring instruments regulation and control". 2018.
    10.1109/I2MTC.2018.8409724
  14. Mendes, H.; Medeiros, I.; Neves, N.. "Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework". 2018.
    10.1109/DSN-W.2018.00060
  15. Pereira, F.; Neves, N.; Ramos, F.M.V.. "Secure network monitoring using programmable data planes". 2017.
    10.1109/NFV-SDN.2017.8169867
  16. Nunes, P.; Medeiros, I.; Fonseca, J.; Neves, N.; Correia, M.; Vieira, M.. "On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study". 2017.
    10.1109/EDCC.2017.16
  17. Alaluna, M.; Vial, E.; Neves, N.; Ramos, F.M.V.. "Secure and dependable multi-cloud network virtualization". 2017.
    10.1145/3071064.3071066
  18. Vavala, B.; Neves, N.; Steenkiste, P.. "Secure Tera-scale Data Crunching with a Small TCB". 2017.
    10.1109/DSN.2017.53
  19. Medeiros, I.; Beatriz, M.; Neves, N.; Correia, M.. "Demonstrating a Tool for Injection Attack Prevention in MySQL". 2017.
    10.1109/DSN.2017.38
  20. Viegas, Eduardo; Santin, Altair; Neves, Nuno; Bessani, Alysson; Abreu, Vilmar. "A Resilient Stream Learning Intrusion Detection Mechanism for Real-Time Analysis of Network Traffic". 2017.
    10.1109/glocom.2017.8254495
  21. Medeiros, I.; Beatriz, M.; Neves, N.; Correia, M.. "Hacking the DBMS to prevent injection attacks". 2016.
    10.1145/2857705.2857723
  22. Alaluna, M.; Ramos, F.M.V.; Neves, N.. "(Literally) above the clouds: Virtualizing the network over multiple clouds". 2016.
    10.1109/NETSOFT.2016.7502455
  23. Medeiros, I.; Neves, N.; Correia, M.. "Equipping WAP with WEAPONS to detect vulnerabilities: Practical experience report". 2016.
    10.1109/DSN.2016.63
  24. Medeiros, I.; Neves, N.; Correia, M.. "DEKANT: A static analysis tool that learns to detect web application vulnerabilities". 2016.
    10.1145/2931037.2931041
  25. Vavala, B.; Neves, N.; Steenkiste, P.. "Secure identification of actively executed code on a generic trusted component". 2016.
    10.1109/DSN.2016.45
  26. António Casimiro; Radu Onica; Nuno Ferreira Neves. "Fault-Tolerant Precision Time Protocol for Smart Grids". Trabalho apresentado em 7º Simpósio de Informática (INFORUM 2015), Covilhã, 2015.
  27. Vavala, Bruno; Neves, Nuno; Steenkiste, Peter. "Securing Passive Replication through Verification". 2015.
    10.1109/srds.2015.38
  28. Lopes, J.; Neves, N.. "Stopping a Rapid Tornado with a Puff". 2014.
    10.1109/SP.2014.39
  29. Medeiros, I.; Neves, N.F.; Correia, M.. "Automatic detection and correction of Web application vulnerabilities using data mining to predict false positives". 2014.
    10.1145/2566486.2568024
  30. Carvalho, T.; Kim, H.S.; Neves, N.. "PACE your network: Fair and controllable multi-tenant data center networks". 2013.
    10.1109/ICC.2013.6655134
  31. Garcia, M.; Neves, N.; Bessani, A.. "An intrusion-tolerant firewall design for protecting SIEM systems". 2013.
    10.1109/DSNW.2013.6615538
  32. Medeiros, I.; Neves, N.F.; Correia, M.. "Securing energy metering software with automatic source code correction". 2013.
    10.1109/INDIN.2013.6622969
  33. Vavala, B.; Neves, N.. "Robust and speculative byzantine randomized consensus with constant time complexity in normal conditions". 2012.
    10.1109/SRDS.2012.62
  34. Antunes, J.; Neves, N.. "Recycling test cases to detect security vulnerabilities". 2012.
    10.1109/ISSRE.2012.3
  35. Antunes, J.; Neves, N.. "Automatically complementing protocol specifications from network traces". 2011.
    10.1145/1978582.1978601
  36. Garcia, M.; Bessani, A.; Gashi, I.; Neves, N.; Obelheiro, R.. "OS diversity for intrusion tolerance: Myth or reality?". 2011.
    10.1109/DSN.2011.5958251
  37. Antunes, J.; Neves, N.F.. "Using behavioral profiles to detect software flaws in network servers". 2011.
    10.1109/ISSRE.2011.35
  38. Antunes, J.; Neves, N.. "DiveInto: Supporting diversity in intrusion-tolerant systems". 2011.
    10.1109/SRDS.2011.25
  39. Antunes, J.; Neves, N.; Verissimo, P.. "Reverse engineering of protocols from network traces". 2011.
    10.1109/WCRE.2011.28
  40. Moniz, H.; Neves, N.F.; Correia, M.. "Turquois: Byzantine consensus in wireless ad hoc networks". 2010.
    10.1109/DSN.2010.5544268
  41. Vavala, B.; Neves, N.; Moniz, H.; Veríssimo, P.. "Randomized consensus in wireless environments: A case where more is better". 2010.
    10.1109/DEPEND.2010.9
  42. Verissimo, P.; Bessani, A.N.; Correia, M.; Neves, N.F.; Sousa, P.. "Designing modular and redundant cyber architectures for process control: Lessons learned". 2009.
    10.1109/HICSS.2009.150
  43. Sousa, P.; Bessani, A.N.; Dantas, W.S.; Souto, F.; Correia, M.; Neves, N.F.. "Intrusion-tolerant self-healing devices for critical infrastructure protection". 2009.
    10.1109/DSN.2009.5270333
  44. Antunes, J.; Neves, N.F.; Verissimo, P.. "Detection and prediction of resource-exhaustion vulnerabilities". 2008.
    10.1109/ISSRE.2008.47
  45. Mendonça, M.; Neves, N.. "Fuzzing Wi-Fi drivers to locate security vulnerabilities". 2008.
    10.1109/EDCC-7.2008.22
  46. Mendonça, M.; Neves, N.F.. "Fuzzing Wi-Fi drivers to locate security vulnerabilities". 2007.
    10.1109/HASE.2007.39
  47. Moniz, H.; Neves, N.F.; Correia, M.; Casimiro, A.; Veríssimo, P.. "Intrusion tolerance in wireless environments: An experimental evaluation". 2007.
    10.1109/PRDC.2007.46
  48. Sousa, P.; Bessani, A.N.; Correia, M.; Neves, N.F.; Verissimo, P.. "Resilient intrusion tolerance through proactive and reactive recovery". 2007.
    10.1109/PRDC.2007.59
  49. Mendonça, M.; Neves, N.. "Robustness testing of the windows DDK". 2007.
    10.1109/DSN.2007.85
  50. Moniz, H.; Neves, N.F.; Correia, M.; Veríssimo, P.. "Experimental comparison of local and shared coin randomized consensus protocols". 2006.
    10.1109/SRDS.2006.19
  51. Sousa, P.; Neves, N.F.; Veríssimo, P.; Sanders, W.H.. "Proactive resilience revisited: The delicate balance between resisting intrusions and remaining available". 2006.
    10.1109/SRDS.2006.37
  52. Moniz, H.; Neves, N.F.; Correia, M.; Verissimo, P.. "Randomized intrusion-tolerant asynchronous services". 2006.
    10.1109/DSN.2006.60
  53. Neves, N.; Antunes, J.; Correia, M.; Veríssimo, P.; Neves, R.. "Using attack injection to discover new vulnerabilities". 2006.
    10.1109/DSN.2006.72
  54. Paulo Sousa; Nuno Ferreira Neves; Paulo Veríssimo. "Proactive resilience through architectural hybridization". 2006.
    10.1145/1141277.1141435
  55. Sousa, P.; Neves, N.F.; Veríssimo, P.. "How resilient are distributed f fault/intrusion-tolerant systems?". 2005.
    10.1109/DSN.2005.55
  56. Correia, M.; Neves, N.F.; Veríssimo, P.. "How to tolerate half less one byzantine nodes in practical distributed systems". 2004.
Artigo em revista
  1. Medeiros, Iberia; Neves, Nuno; Correia, Miguel. "Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages". IEEE Transactions on Reliability 71 2 (2022): 1033-1056. http://dx.doi.org/10.1109/tr.2021.3137314.
    10.1109/tr.2021.3137314
  2. Mendes, Ricardo; Oliveira, Tiago; Cogo, Vinicius; Neves, Nuno; Bessani, Alysson. "Charon: A Secure Cloud-of-Clouds System for Storing and Sharing Big Data". IEEE Transactions on Cloud Computing 9 4 (2021): 1349-1361. http://dx.doi.org/10.1109/tcc.2019.2916856.
    10.1109/tcc.2019.2916856
  3. Alaluna, Max; Ferrolho, Luís; Figueira, José Rui; Neves, Nuno; Ramos, Fernando M.V.. "Secure multi-cloud virtual network embedding". Computer Communications 155 (2020): 252-265. http://dx.doi.org/10.1016/j.comcom.2020.03.023.
    10.1016/j.comcom.2020.03.023
  4. Max Alaluna; Eric Vial; Nuno Neves; Fernando M.V. Ramos. "Secure Multi-Cloud Network Virtualization". Computer Networks 161 (2019): 45-60. https://doi.org/10.1016/j.comnet.2019.06.004.
    10.1016/j.comnet.2019.06.004
  5. Iberia Medeiros; Miguel Beatriz; Nuno Neves; Miguel Correia. "SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS". IEEE Transactions on Reliability 68 3 (2019): 1168-1188. https://doi.org/10.1109/TR.2019.2900007.
    10.1109/TR.2019.2900007
  6. Melo, Wilson S.; Bessani, Alysson; Neves, Nuno; Santin, Altair Olivo; Carmo, Luiz F. Rust C.. "Using Blockchains to Implement Distributed Measuring Systems". IEEE Transactions on Instrumentation and Measurement 68 5 (2019): 1503-1514. http://dx.doi.org/10.1109/tim.2019.2898013.
    10.1109/tim.2019.2898013
  7. Viegas, Eduardo; Santin, Altair; Bessani, Alysson; Neves, Nuno. "BigFlow: Real-time and reliable anomaly-based intrusion detection for high-speed networks". Future Generation Computer Systems 93 (2019): 473-485. http://dx.doi.org/10.1016/j.future.2018.09.051.
    10.1016/j.future.2018.09.051
  8. Nunes, Paulo; Medeiros, Ibéria; Fonseca, José; Neves, Nuno; Correia, Miguel; Vieira, Marco. "An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios". Computing 101 2 (2018): 161-185. http://dx.doi.org/10.1007/s00607-018-0664-z.
    10.1007/s00607-018-0664-z
  9. Garcia, Miguel; Neves, Nuno; Bessani, Alysson. "SieveQ: A Layered BFT Protection System for Critical Services". IEEE Transactions on Dependable and Secure Computing 15 3 (2018): 511-525. http://dx.doi.org/10.1109/tdsc.2016.2593442.
    10.1109/tdsc.2016.2593442
  10. Nunes, P.; Medeiros, I.; Fonseca, J.C.; Neves, N.; Correia, M.; Vieira, M.. "Benchmarking Static Analysis Tools for Web Security". IEEE Transactions on Reliability 67 3 (2018): 1159-1175. http://www.scopus.com/inward/record.url?eid=2-s2.0-85049134675&partnerID=MN8TOARS.
    10.1109/TR.2018.2839339
  11. Lacoste, Marc; Miettinen, Markus; Neves, Nuno; Ramos, Fernando M.V.; Vukolic, Marko; Charmet, Fabien; Yaich, Reda; et al. "User-Centric Security and Dependability in the Clouds-of-Clouds". IEEE Cloud Computing 3 5 (2016): 64-75. http://dx.doi.org/10.1109/mcc.2016.110.
    10.1109/mcc.2016.110
  12. Medeiros, I.; Neves, N.; Correia, M.. "Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining". IEEE Transactions on Reliability 65 1 (2016): 54-69. http://www.scopus.com/inward/record.url?eid=2-s2.0-84939623071&partnerID=MN8TOARS.
    10.1109/TR.2015.2457411
  13. Bessani, A.; Neves, N.F.; Veríssimo, P.; Dantas, W.; Fonseca, A.; Silva, R.; Luz, P.; Correia, M.. "JITeR: Just-in-time application-layer routing". Computer Networks 104 (2016): 122-136. http://www.scopus.com/inward/record.url?eid=2-s2.0-84971249935&partnerID=MN8TOARS.
    10.1016/j.comnet.2016.05.010
  14. Garcia, M.; Bessani, A.; Gashi, I.; Neves, N.; Obelheiro, R.. "Analysis of operating system diversity for intrusion tolerance". Software - Practice and Experience 44 6 (2014): 735-770. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899911060&partnerID=MN8TOARS.
    10.1002/spe.2180
  15. Correia, M.; Neves, N.F.; Verissimo, P.. "BFT-TO: Intrusion tolerance with less replicas". Computer Journal 56 6 (2013): 693-715. http://www.scopus.com/inward/record.url?eid=2-s2.0-84878614685&partnerID=MN8TOARS.
    10.1093/comjnl/bxs148
  16. Moniz, H.; Neves, N.F.; Correia, M.. "Byzantine fault-tolerant consensus in wireless Ad Hoc networks". IEEE Transactions on Mobile Computing 12 12 (2013): 2441-2454. http://www.scopus.com/inward/record.url?eid=2-s2.0-84887846390&partnerID=MN8TOARS.
    10.1109/TMC.2012.225
  17. Correia, M.; Veronese, G.S.; Neves, N.F.; Verissimo, P.. "Byzantine consensus in asynchronous message-passing systems: A survey". International Journal of Critical Computer-Based Systems 2 2 (2011): 141-161. http://www.scopus.com/inward/record.url?eid=2-s2.0-84862687363&partnerID=MN8TOARS.
    10.1504/IJCCBS.2011.041257
  18. Moniz, H.; Neves, N.F.; Correia, M.; Verissimo, P.. "RITAS: Services for randomized intrusion tolerance". IEEE Transactions on Dependable and Secure Computing 8 1 (2011): 122-136. http://www.scopus.com/inward/record.url?eid=2-s2.0-78649351966&partnerID=MN8TOARS.
    10.1109/TDSC.2008.76
  19. Antunes, J.; Neves, N.; Correia, M.; Verissimo, P.; Neves, R.. "Vulnerability discovery with attack injection". IEEE Transactions on Software Engineering 36 3 (2010): 357-370. http://www.scopus.com/inward/record.url?eid=2-s2.0-77953120554&partnerID=MN8TOARS.
    10.1109/TSE.2009.91
  20. Sousa, P.; Bessani, A.N.; Correia, M.; Neves, N.F.; Verissimo, P.. "Highly available intrusion-tolerant services with proactive-reactive recovery". IEEE Transactions on Parallel and Distributed Systems 21 4 (2010): 452-465. http://www.scopus.com/inward/record.url?eid=2-s2.0-77649269780&partnerID=MN8TOARS.
    10.1109/TPDS.2009.83
  21. Bessani, A.N.; Sousa, P.; Correia, M.; Neves, N.F.; Verssimo, P.. "The crutial way of critical infrastructure protection". IEEE Security and Privacy 6 6 (2008): 44-51. http://www.scopus.com/inward/record.url?eid=2-s2.0-58849119555&partnerID=MN8TOARS.
    10.1109/MSP.2008.158
  22. Veríssimo, P.; Neves, N.F.; Correia, M.. "The CRUTIAL reference critical information infrastructure architecture: A blueprint". International Journal of System of Systems Engineering 1 1-2 (2008): 78-95. http://www.scopus.com/inward/record.url?eid=2-s2.0-51849150631&partnerID=MN8TOARS.
    10.1504/IJSSE.2008.018132
  23. Correia, M.; Neves, N.F.; Lung, L.C.; Veríssimo, P.. "Worm-IT - A wormhole-based intrusion-tolerant group communication system". Journal of Systems and Software 80 2 (2007): 178-197. http://www.scopus.com/inward/record.url?eid=2-s2.0-33846035707&partnerID=MN8TOARS.
    10.1016/j.jss.2006.03.034
  24. Correia, M.; Neves, N.F.; Veríssimo, P.. "From consensus to atomic broadcast: Time-free byzantine-resistant protocols without signatures". Computer Journal 49 1 (2006): 82-96. http://www.scopus.com/inward/record.url?eid=2-s2.0-30444456076&partnerID=MN8TOARS.
    10.1093/comjnl/bxh145
  25. Veríssimo, P.E.; Neves, N.F.; Cachin, C.; Poritz, J.; Powell, D.; Deswarte, Y.; Stroud, R.; Welch, I.. "Intrusion-tolerant middleware". IEEE Security and Privacy 4 4 (2006): 54-62. http://www.scopus.com/inward/record.url?eid=2-s2.0-33747276448&partnerID=MN8TOARS.
    10.1109/MSP.2006.95
  26. Correia, M.; Neves, N.F.; Lung, L.C.; Veríssimo, P.. "Low complexity Byzantine-resilient consensus". Distributed Computing 17 3 (2005): 237-249. http://www.scopus.com/inward/record.url?eid=2-s2.0-17044416157&partnerID=MN8TOARS.
    10.1007/s00446-004-0110-7
  27. Neves, N.F.; Correia, M.; Veríssimo, P.. "Solving vector consensus with a wormhole". IEEE Transactions on Parallel and Distributed Systems 16 12 (2005): 1120-1131. http://www.scopus.com/inward/record.url?eid=2-s2.0-30344433440&partnerID=MN8TOARS.
    10.1109/TPDS.2005.153
  28. Correia, M.; Lung, L.C.; Neves, N.F.; Veríssimo, P.. "Efficient Byzantine-resilient reliable multicast on a hybrid failure model". Proceedings of the IEEE Symposium on Reliable Distributed Systems (2002): 2-11. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036446289&partnerID=MN8TOARS.
    10.1109/RELDIS.2002.1180168
Capítulo de livro
  1. Gomes, Pedro; Magaia, Naercio; Neves, Nuno. "Industrial and Artificial Internet of Things with Augmented Reality". In Convergence of Artificial Intelligence and the Internet of Things, 323-346. Springer International Publishing, 2020.
    10.1007/978-3-030-44907-0_13
  2. Moniz, Henrique; Tedeschi, Alessandra; Neves, Nuno Ferreira; Correia, Miguel. "A Distributed Systems Approach to Airborne Self-Separation". In Computational Models, Software Engineering, and Advanced Technologies in Air Transportation, 215-236. IGI Global, 2010.
    10.4018/978-1-60566-800-0.ch011
  3. Moniz, Henrique; Neves, Nuno Ferreira; Correia, Miguel; Veríssimo, Paulo. "Randomization Can Be a Healer: Consensus with Dynamic Omission Failures". In Lecture Notes in Computer Science, 63-77. Springer Berlin Heidelberg, 2009.
    10.1007/978-3-642-04355-0_10
  4. Veríssimo, Paulo; Neves, Nuno F.; Correia, Miguel; Deswarte, Yves; El Kalam, A. Abou; Bondavalli, Andrea; Daidone, Alessandro. "The CRUTIAL Architecture for Critical Information Infrastructures". In Lecture Notes in Computer Science, 1-27. Springer Berlin Heidelberg, 2008.
    10.1007/978-3-540-85571-2_1
  5. Veríssimo, Paulo; Neves, Nuno Ferreira; Correia, Miguel. "CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture". In Critical Information Infrastructures Security, 1-14. Springer Berlin Heidelberg, 2006.
    10.1007/11962977_1
  6. Veríssimo, Paulo Esteves; Neves, Nuno Ferreira; Correia, Miguel Pupo. "Intrusion-Tolerant Architectures: Concepts and Design". In Lecture Notes in Computer Science, 3-36. Springer Berlin Heidelberg, 2003.
    10.1007/3-540-45177-3_1
  7. Correia, Miguel; Veríssimo, Paulo; Neves, Nuno Ferreira. "The Design of a COTS Real-Time Distributed Security Kernel". In Lecture Notes in Computer Science, 234-252. Springer Berlin Heidelberg, 2002.
    10.1007/3-540-36080-8_21
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2024/01/01 - 2024/01/02 Supervisions info: 7 PhD completed; 43 Masters completed; http://www.di.fc.ul.pt/~nuno/students.html
Orientador
2014 - 2019/05 Diverse Intrusion-tolerant Systems
Coorientador
 Computer Science (Informática) (Doutoramento)
Faculdade de Ciências da Universidade de Lisboa, Portugal
2013 - 2017/07 Secure Large-Scale Outsourced Services Founded on Trustworthy Code Executions
Orientador
 Computer Science (Informática) (Doutoramento)
Faculdade de Ciências da Universidade de Lisboa, Portugal
2010 - 2017/03 Vulnerability Detection in Device Drivers
Orientador
 Computer Science (Informática) (Doutoramento)
Faculdade de Ciências da Universidade de Lisboa, Portugal
2012 - 2016/09 Detection of Vulnerabilities and Automatic Protection for Web Applications
Coorientador
 Computer Science (Informática) (Doutoramento)
Faculdade de Ciências da Universidade de Lisboa, Portugal
2007 - 2012/11 Network Attack Injection
Orientador
 Computer Science (Informática) (Doutoramento)
Faculdade de Ciências da Universidade de Lisboa, Portugal
2006 - 2010 Byzantine Fault-Tolerant Agreement Protocols for Wireless Ad hoc Networks
Orientador
 Computer Science (Informática) (Doutoramento)
Faculdade de Ciências da Universidade de Lisboa, Portugal
2004 - 2007 Proactive Resilience
Coorientador
 Computer Science (Informática) (Doutoramento)
Faculdade de Ciências da Universidade de Lisboa, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2021/07/14 - 2021/07/16 Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA) (2021/07/14 - 2021/07/16)
Conferência (Presidente da Comissão Organizadora)

Arbitragem científica em conferência

Nome da conferência Local da conferência
2019/03 - 2026/06 Member Steering Committee: IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
2024/01/05 - 2024/01/06 Program Committee member of 130 conference/workshops: https://www.di.fc.ul.pt/~nuno/
2021/07 - 2023/06 Chair Steering Committee: IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2008 - Atual International Journal of Critical Computer-Based Systems (1757-8787) Inderscience Enterprises Ltd.

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2021/07 - 2023/06 Chair of IEEE Computer Society Technical Committee on Dependable Computing and Fault Tolerance (TCFT)
Presidente / Vice-presidente
2019/03 - 2021/06 Vice-Chair of IEEE Computer Society Technical Committee on Dependable Computing and Fault Tolerance (TCFT)
Presidente / Vice-presidente
 IEEE, Estados Unidos
Distinções

Prémio

2024 Other awards at: https://www.di.fc.ul.pt/~nuno/awards.html
2021 Test-of-Time Award
Technical Committee of the IEEE/IFIP International Conference on Dependable Systems and Networks, Estados Unidos
2019 Best Student Paper at Middleware
Technical Committee of the ACM/IFIP International Conference on Middleware, Estados Unidos
2009 Best Student Paper at DISC
Technical committee of the International Symposium on Distributed Computing (DISC), Estados Unidos
2005 IBM Scientific Prize
IBM Portugal, Portugal
1998 William C. Carter
IEEE, Estados Unidos