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.

BFT Services Programming with a Dependable Tuple Space
François Aubry, Alysson Bessani, Paulo Sousa
In Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009) – Fast Abstract, Estoril, Portugal, June 2009.

Transparent Byzantine Fault-Tolerant Directory Service using COTS components
Francisco Vieira, Paulo Sousa, Alysson Bessani
In Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009) – Fast Abstract, 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)

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.

IEEE Security & Privacy Nov/Dec 2008

The CRUTIAL Way of Critical Infrastructure Protection
Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
IEEE Security and Privacy, vol. 6, no. 6, pp. 44-51, Nov/Dec 2008.