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
Fax:+351-217500084
Email:

PROJECTS	PUBLICATIONS	AWARDS	STUDENTS	TEACHING

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.

Education

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

Publications

Awarded works

Students

Editorial Board of Journals