During 2008, I was the coordinator of the FOREVER project, supported by the European Commission through the ReSIST NoE.

Miguel Garcia, Regeneração de Sistemas Informáticos Replicados, BSc internship (Co-advised with Alysson Neves Bessani), September 2008 – July 2009.

Rogério Paulo Fonseca Correia, WEST – Wormhole-Enhanced State Transfer, Master/Mestrado em Engenharia Informática, July 2009.

Intrusion-Resilient Middleware Design and Validation
Paulo Veríssimo, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa
In Information Assurance, Security and Privacy Services (Handbooks in Information Systems, volume 4), Emerald Group Publishing Limited, pp. 615-678, 2009.

Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection
Paulo Sousa, Alysson N. Bessani, Wagner S. Dantas, Fábio Souto, Miguel Correia, Nuno F. Neves
In Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), Estoril, Portugal, Jun-Jul 2009, to appear.

INForum 2009 – Computer and Communications Security Track, Sep 10-11, 2009.

Summary (in portuguese):

O INForum tem como objectivo ser um evento privilegiado de reunião da comunidade nacional nas diversas vertentes da informática e ambiciona ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos. O INForum surge com particular oportunidade como palco para a estreia de jovens investigadores que buscam a divulgação, a crítica construtiva e o encorajamento ao seu trabalho.

O 1º INForum pretende ser abrangente e dinâmico no conjunto de tópicos abordados. Apresentará um conjunto de tópicos propostos e seleccionados anualmente, com sessões organizadas e realizadas de forma independente. Promove-se assim a massa crítica para o fortalecimento e evolução da informática no país criando-se, simultaneamente, espaço à evolução do contexto da conferência e fomentando a reunião de investigadores em áreas emergentes.

O 1º INForum decorrerá nos dias 10 e 11 de Setembro de 2009 na Faculdade de Ciências da Universidade de Lisboa.

WEST: Wormhole-Enhanced State Transfer
Rogério Correia, Paulo Sousa
In Proceedings of the DSN 2009 Workshop on Proactive Failure Avoidance, Recovery and Maintenance (PFARM), Estoril, Portugal, June 2009.

Enhancing Fault / Intrusion Tolerance through Design and Configuration Diversity
Alysson N. Bessani, Alessandro Daidone, Ilir Gashi, Rafael R. Obelheiro, Paulo Sousa, Vladimir Stankovic
In Proceedings of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2009), Estoril, Portugal, June 2009.

DSN 2009: 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 29 – July 2, 2009.

Summary:

DSN is the chosen forum for researchers around the world, for presenting the very best research results, solutions to problems, and insight into emergent new challenges. DSN has pioneered the fusion between security and dependability, understanding the need to simultaneously fight against cyber attacks, accidental faults, design errors, and unexpected operating conditions.

Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned
Paulo Veríssimo, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa
Proceedings of the 42nd Hawaii International Conference for the Systems Sciences (HICSS-42), Waikoloa, Hawaii, January 2009. (best paper nomination)