Nuno Neves

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

    Tel (direct): +351-217500607
    Tel (secretariat):+351-217500087







I am an Associate Professor at the Department of Computer Science of the Faculty of Sciences of the University of Lisboa. Most of my investigation is performed at the LaSIGE - Large Scale Informatic Systems Laboratory and the Navigators´s group, where I co-lead the fault and intrusion tolerance area. My main research interests are in distributed and parallel systems, especially in aspects related to security and fault-tolerance.

One topic I have been working on is intrusion tolerance. The objective here is to provide support for the implementation of systems that run as expected even in the presence of accidental faults and/or intrusions carried out by malicious attackers. Within this context, I have participated on the development of systems and protocols for data dissemination, state machine replication, proactive and reactive recovery, and diversity management.

In parallel, I have been involved on the design of methodologies and tools that can be utilized to locate security vulnerabilities in an automatic way. For example, we have been proposing techniques for protocol reverse engineering and applied them to attack injection, with the objective of simulating the actions of an adversary -- the tool generates and carries out attacks to a given target while monitoring its execution, to detect deviations from the expected behaviour.

In the past I have contributed to the specification of several different types of architectures, such as message-passing and distributed shared memory systems for parallel processing and mobile environments. Some of the earlier work in fault-tolerance was based on the concept of checkpointing and rollback recovery.


  • Agregação (similar to Habilitation) in Computer Science, Faculdade Ciências of University of Lisboa, Portugal 2014
  • PhD in Computer Science, Univ. Illinois at Urbana-Champaign, USA, 1998
  • Master in Electrical and Computer Engineering, Univ. Técnica de Lisboa (IST), Portugal, 1994
  • Licenciatura in Electrical and Computer Engineering, Univ. Técnica de Lisboa (IST), Portugal, 1992

Research projects


Awarded works


Editorial Board of Journals

Conferences where I´m involved



  • Special Topics in Applied Security (MSIT-IS)
  • Security Technologies (portuguese)
  • Software Security (portuguese)
  • Distributed Systems (portuguese)
  • Introduction to Security (portuguese)

Interesting Sites



Return to the department's home page