FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery
Alysson Neves Bessani, Hans P. Reiser, Paulo Sousa, Ilir Gashi, Vladimir Stankovic, Tobias Distler, Rüdiger Kapitza, Alessandro Daidone, Rafael R. Obelheiro
In Middleware (Companion),  Leuven, Belgium, pages 99-101, December 2008.

Fundamentals of Embedded Systems (co-instructor)

Networks and Distributed Systems Seminar

Segurança e Disponibilidade através de Resiliência Proactiva (in portuguese)
Paulo Sousa
Prémio Científico IBM 2007 | IBM 2007 Scientific Award
Available as Technical Report DI/FCUL TR-08-15.
(media coverage)

Winner of the IBM 2007 Scientific Award, with the work Security and Availability through Proactive Resilience (in portuguese). You can find some of the media coverage in here.

EDCC-7: 7th European Dependable Computing Conference, May 7-9, 2008.

Summary:

There is an increasing dependency of the society on computing services and their underlying computing systems. This dependency creates strict requirements for the delivered services. These requirements affect to the quality of service, continuous availability, survivability in the advent of catastrophic failures, confidentiality, intrusion tolerance, etc. Dependability is a concept that considers all these cross-cutting concerns and required attributes, such as reliability, availability, safety, and security, as well as human factors.

The 7th European Dependable Computing Conference aims at providing a European-hosted venue for researchers and practioners from all over the world to present and discuss their latest research achievements. Original papers are solicited on theory, techniques, systems, and tools for the design, validation, operation and evaluation of dependable computing systems. All kinds of faults are of interest, from traditional hardware and software faults to accidental and malicious human interactions.

WRAITS 2008: 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems, April 1st, 2008 (in conjunction with the European Conference on Computer Systems – EuroSys 2008).

Summary:

The 2nd Workshop on Recent Advances on Intrusion- Tolerant Systems aims to bring together researchers in the related areas of Intrusion Tolerance, Distributed Trust, Survivability, Byzantine Fault Tolerance, and Resilience. These areas have the purpose of enhancing the Dependability and Security of computer systems by tolerating both malicious faults (attacks, intrusions) and accidental faults. The workshop will be specially interested in “intrusion-tolerant systems”: how to build them? How to evaluate and test their dependability and security? What systems need to be intrusion-tolerant? The workshop will provide a forum for researchers in these areas to present recent results, discuss open problems that still need research, the steps that need to be taken for intrusion-tolerant systems to be deployed in practice, and the target application domains for intrusion tolerance.

Resilient Intrusion Tolerance through Proactive and Reactive Recovery
[paper | extended version | slides PPS | slides PDF]
Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
In Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing (PRDC), Melbourne, Australia, pages 373-380, December 2007.

Fábio Souto, Internals of Intrusion-tolerant Firewalls, BSc internship (Co-advised with Alysson Neves Bessani)

From 2004 until 2007, I’ve worked on my PhD thesis. The main goal was to design a system architecture in which protocols could tolerate, through proactive resilience, any number of arbitrary faults over the lifetime of a system.

The initial PhD work plan is described here. Also available as a presentation.