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.
Editorial Board of Journals
Conferences where I´m involved
Return to the department's home page