- Confiabilidade
- Segurança
- Sistemas Distribuídos
- Vulnerabilidades em Software
Contactos
Departamento de InformáticaSala/Gabinete 6.3.10
Ext. Principal 26310
Telefone Direto 217500607
Email nfneves@ciencias.ulisboa.pt
Página Pessoal
Carreira Docente Universitário
Categoria Professor Catedrático
Indicadores
ResearcherIDOrcid
Google Scholar
Palavras Chave
Keywords
- Dependability
- Security
- Distributed Systems
- Software Vulnerabilities
Nuno Ferreira Neves é Professor Catedrático no Departamento de Informática da Faculdade de Ciências da Universidade de Lisboa. Doutorou-se em Ciência da Computação (Computer Science) na Universidade de Illinois em Urbana-Champaign, EUA, em 1998. Fez agregação no ramo de Informática, especialidade de Ciências da Computação, pela Faculdade de Ciências da Universidade de Lisboa, em 2014.
Atualmente é membro da Conselho Coordenador da unidade de investigação LASIGE (www.lasige.di.fc.ul.pt) e lidera o grupo de investigação Navigators (www.navigators.di.fc.ul.pt). É Presidente do IEEE Computer Society Technical Committee on Dependable Computing and Fault Tolerance. É membro do Conselho Editorial da revista International Journal of Critical Computer-Based Systems. Preside à Comissão de Acompanhamento (Steering Committee) da IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). É co-investigador principal nos projetos SEAL, relacionado com a segurança do software de aplicações clínicas, e no uPVN, que visa a construção de redes virtuais através da exploração de mecanismos de programação de redes. Participa como investigador em vários outros projetos, como o projeto Europeu XIVT (eXcellence in Variant Testing). O seu trabalho de investigação foi premiado em diversas ocasiões, por exemplo com o Prémio Científico IBM e o Prémio William C. Carter no IEEE FTCS/DSN.
Faz investigação na área da segurança e confiabilidade em sistemas distribuídos, com aplicações que incluem as infraestruturas críticas, a computação em nuvem, e os ambientes com dispositivos móveis.
Investigates models, protocols and architectures that are suitable for applications with strong resilience requirements, namely applications that need to remain operational despite accidental faults or malicious attacks. The kind of environments that are being researched include critical infrastructures, cloud access and systems, mobile computing with small hand-held devices, and scalable servers.
- Ibéria Medeiros, Nuno Neves, Miguel Correia, Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages, IEEE Transactions on Reliability, accepted for publication
- Ricardo Mendes, Tiago Oliveira, Vinicius Cogo, Nuno 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, pages 1349-1361, October-December 2021
- Max Alaluna, Eric Vial, Nuno Neves, Fernando M. V. Ramos, Secure Multi-Cloud Network Virtualization, Computer Networks, Elsevier, Vol. 161, pages 45-60, October 2019
- Ibéria Medeiros, Miguel Beatriz, Nuno Neves, Miguel Correia, SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS, IEEE Transactions on Reliability, Vol. 68, No. 3, pages 1168-1188, September 2019
- Eduardo Viegas, Altair O. Santin, Alysson Bessani, Nuno Neves, BigFlow: Real-time and Reliable Anomaly-based Intrusion Detection for High-Speed Networks, Future Generation Computer Systems, Elsevier, Vol. 93, pages 473-485, April 2019