Cheap Intrusion-Tolerant Protection for CRUTIAL Things
Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
Available as Technical Report DI/FCUL TR-2009-14.

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.

From Jan 2006 until March 2009, I was involved in the HIDENETS project, supported by the European Commission.

TIUP 2009 – 2nd stage, April 22, 2009

Summary (in portuguese):

O Torneio Inter-Universitário de Programação (TIUP) é um torneio de programação para estudantes universitários que proporciona uma excelente oportunidade para estes testarem a sua capacidade de resolução de problemas. Para além do aspecto competitivo, o TIUP possibilita também o convívio e troca de experiências entre alunos e professores das Universidades portuguesas.

O torneio é composto por cinco ou seis provas mensais, realizadas entre Março e Setembro. Cada prova é organizada por uma comissão científica de uma Universidade portuguesa, responsável pela elaboração dos problemas e pela preparação e gestão do sistema web de avaliação automática (Mooshak).

A participação é feita de forma remota em cada Universidade. As provas do TIUP são disputadas por equipas com (no máximo) 3 elementos, tendo a duração de 3 horas para resolução de 5 a 6 problemas com recurso às linguagens de programação C, C++ ou Java (outras linguagens podem eventualmente vir a ser utilizadas).

A 2ª prova do TIUP 2009 será organizada pelo Departamento de Informática da Faculdade de Ciências da Universidade de Lisboa, no dia 22 de Abril, entre as 17h e as 20h. A comissão científica é composta pelos seguintes elementos (por ordem alfabética):

Francisco Couto
Carlos Duarte
Luis Cruz Filipe
Hugo Miranda
Isabel Nunes
João Sarmento
Paulo Sousa

O URL do avaliador automático será divulgado em breve.

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.