Nuno Ferreira 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

PRIZES

STUDENTS

TEACHING

I am an Associate Professor at the Department of Computer Science of the Faculty of Sciences of the University of Lisboa. Currently, I am also a adjunct faculty at the Information Network Institute, Carnegie Mellon University, for activities related to the CMU-Portugal partnership, namely the Master of Science in Information Technology – Information Security (MSIT-IS). My main research interests are in distributed and parallel systems, especially in the areas of security and fault-tolerance. I am also a member of the LaSIGE - Large Scale Informatic Systems Laboratory, and the Navigators´s group, where I co-lead the fault and intrusion tolerance research area.

Most of my recent research has been in the area of intrusion tolerance. The objective here is to provide support for the development of systems that perform as expected even in the presence of accidental faults and/or intrusions perpetrated by malicious attackers. Together with some colleagues, we have been studying two main paradigms, randomization and wormholes.

In parallel with this research, I have been involved in the design of methodologies and tools which can be utilized to locate security vulnerabilities in an automatic way. We have developed a technique called attack injection, which simulates the tasks performed by an adversary -- it generates and performs attacks to a given target, while monitoring its execution, to detect deviations from the expected behavior.

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. Most of the fault-tolerant techniques I have developed were 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

Conferences where I´m involved

Teaching

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

Interesting Sites

 

 

Return to the department's home page