???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.
Read full resume ↓
Identification

Personal identification

Full name
Nuno Fuentecilla Maia Ferreira Neves

Citation names

  • Nuno Neves
  • Nuno Ferreira Neves

Author identifiers

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

Email addresses

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

Addresses

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

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Education
Degree Classification
2014
Concluded
 Habilitation/Agregação (Título de Agregado)
Universidade de Lisboa Faculdade de Ciências, Portugal
 Approved unanimously
1998
Concluded
 Ph.D. in Computer Science (Doctor of Philosophy)
University of Illinois at Urbana-Champaign, United States
"Time-Based Coordinated Checkpointing" (THESIS/DISSERTATION)
 GPA 4.0/4.0
1995
Concluded
 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" (THESIS/DISSERTATION)
 Muito Bom
1992
Concluded
 Batchelor in Engenharia Electrotécnica e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 17
Affiliation

Science

Category
Host institution 		Employer
2015 - Current Principal Investigator (Research) Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2014 - 2015 Coordinating Researcher (Research) Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
1998 - 2014 Researcher (Research) Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
1997 - 1998 Research Assistant (Research) Electrical and Computer Engineering Department of the Purdue University, United States
1996 - 1998 Research Assistant (Research) Center for Reliable and High-Performance Computing of the University of Illinois at Urbana-Champaign, United States
1992 - 1994 Research Trainee (Research) Instituto de Engenharia de Sistemas e Computadores, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2016 - Current Full Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
2009 - 2016 Associate Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
1999 - 2009 Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal

Others

Category
Host institution 		Employer
2008 - 2011 Adjunct Faculty Carnegie Mellon University Information Networking Institute, United States
Projects

Grant

Designation Funders
2024/01/01 - Current Researcher in more than 25 funded projects; List available at: https://www.di.fc.ul.pt/~nuno/projects.html
Other
Researcher

Contract

Designation Funders
2023/03/01 - 2026/02/28 SMaRtChain - Fast and Energy-efficient Distributed Consensus for Blockchains
2022.08431.PTDC
Researcher
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2020/01/01 - 2023/05/31 XIVT - eXcellence In Variant Testing
LISBOA-01-0247-FEDER-039238
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Concluded
2019/07/01 - 2022/06/30 ThreatAdapt - Adaptive Byzantine Fault and Intrusion Tolerance
FCT-FNR/0002/2018
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2018/10/01 - 2021/09/30 uPVN - User Centric Programmable Virtual Networks
PTDC/CCI-INF/30340/2017
Researcher
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2018/08/01 - 2021/07/31 SEAL - SEcurity progrAmming of web appLications
PTDC/CCI-INF/29058/2017
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
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
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
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
Concluded
2016/01/01 - 2018/12/31 Resilient Supervision and Control in Smart Grids
FCT/CAPES
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2015/02/01 - 2018/01/31 SUPERCLOUD - User-Centric Management of Security and Dependability in Cloud of Clouds
EU H2020-ICT-2014-1: 643964
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluded
2014/10/01 - 2017/12/31 SEGRID: Security for smart Electricity GRIDs
FP7-607109
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluded
2014/10/01 - 2017/09/30 ParIS: Partnership in Information Security
1077509
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluded
2012/12/01 - 2015/11/30 BiobankCloud: Scalable, Secure Storage of Biobank Data
FP7-317871
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluded
2011/04/01 - 2014/09/30 SITAN - Services for Intrusion Tolerant Ad Hoc Networks
PTDC/EIA-EIA/113729/2009
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
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
Concluded
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
Concluded
2010/10/01 - 2013/09/30 MASSIF - MAnagement of Security information and events in Service InFrastructures
FP7-257475
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluded
2010/01/01 - 2012/12/31 Diverse - Diversity for Intrusion Tolerant Systems
PTDC/EIA-EIA/100894/2008
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2010/01/01 - 2012/12/31 REGENESYS - Regeneration of Replicated Systems
PTDC/EIA-EIA/100581/2008
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2010/04/01 - 2012/09/30 ReD: Resilient Database Clusters
PTDC/EIA-EIA/109044/2008
Researcher
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
Concluded
2005/05/01 - 2007/12/31 AJECT: Attack Injection on Software Components
POSC/EIA/61643/2004
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2005/03/01 - 2007/12/31 RITAS - Randomized Intrusion Tolerance for Asynchronous Systems
POSC/EIA/60334/2004
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book chapter
  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
Conference paper
  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". Paper presented in International WS Workshop on Testing of Configurable and Multi-variant Systems, Porto, 2020.
    Accepted
  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". Paper presented in 10º Simpósio de Informática (INForum 2018), Coimbra, 2018.
    Published
  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". Paper presented in 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.
Journal article
  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
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2024/01/01 - 2024/01/02 Supervisions info: 7 PhD completed; 43 Masters completed; http://www.di.fc.ul.pt/~nuno/students.html
Supervisor
2014 - 2019/05 Diverse Intrusion-tolerant Systems
Co-supervisor
 Computer Science (Informática) (PhD)
Faculdade de Ciências da Universidade de Lisboa, Portugal
2013 - 2017/07 Secure Large-Scale Outsourced Services Founded on Trustworthy Code Executions
Supervisor
 Computer Science (Informática) (PhD)
Faculdade de Ciências da Universidade de Lisboa, Portugal
2010 - 2017/03 Vulnerability Detection in Device Drivers
Supervisor
 Computer Science (Informática) (PhD)
Faculdade de Ciências da Universidade de Lisboa, Portugal
2012 - 2016/09 Detection of Vulnerabilities and Automatic Protection for Web Applications
Co-supervisor
 Computer Science (Informática) (PhD)
Faculdade de Ciências da Universidade de Lisboa, Portugal
2007 - 2012/11 Network Attack Injection
Supervisor
 Computer Science (Informática) (PhD)
Faculdade de Ciências da Universidade de Lisboa, Portugal
2006 - 2010 Byzantine Fault-Tolerant Agreement Protocols for Wireless Ad hoc Networks
Supervisor
 Computer Science (Informática) (PhD)
Faculdade de Ciências da Universidade de Lisboa, Portugal
2004 - 2007 Proactive Resilience
Co-supervisor
 Computer Science (Informática) (PhD)
Faculdade de Ciências da Universidade de Lisboa, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2021/07/14 - 2021/07/16 Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA) (2021/07/14 - 2021/07/16)
Conference (President of the Organising Committee)

Committee member

Activity description
Role 		Institution / Organization
2021/07 - 2023/06 Chair of IEEE Computer Society Technical Committee on Dependable Computing and Fault Tolerance (TCFT)
President / Vice-president
2019/03 - 2021/06 Vice-Chair of IEEE Computer Society Technical Committee on Dependable Computing and Fault Tolerance (TCFT)
President / Vice-president
 IEEE, United States

Conference scientific committee

Conference name Conference host
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)

Journal scientific committee

Journal title (ISSN) Publisher
2008 - Current International Journal of Critical Computer-Based Systems (1757-8787) Inderscience Enterprises Ltd.
Distinctions

Award

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, United States
2019 Best Student Paper at Middleware
Technical Committee of the ACM/IFIP International Conference on Middleware, United States
2009 Best Student Paper at DISC
Technical committee of the International Symposium on Distributed Computing (DISC), United States
2005 IBM Scientific Prize
IBM Portugal, Portugal
1998 William C. Carter
IEEE, United States