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.

Proactive Resilience through Architectural Hybridization
[paper | slides]
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
In Proceedings of the 2006 ACM Symposium on Applied Computing (SAC) – Volume 1, Dijon, France, pages 686-690, April 2006.

The Real-Time Proactive Secret Sharing Library (RT-PSS) for RTAI is an implementation of the Shamir’s secret sharing scheme and Herzberg’s proactive secret sharing algorithm. The library uses a port of GNU GMP in order to make multiple precision arithmetic operations.

The current status of the implementation can be checked at SourceForge.net.

Some initial experimental results can be found in here.

A New Programming Model for Dependable Adaptive Real-Time Applications [paper (multimedia)]
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
IEEE Distributed Systems Online, vol. 6, no. 5, 2005.

Dependable Adaptive Real-Time Applications in Wormhole-based Systems [paper]
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
In Proceedings of the International Conference on Dependable Systems and Networks (DSN’04), Florence, Italy, June 2004.

From 2001 until 2004, I participated in the CORTEX european project. My research work was primarily focused on building the support for dependable adaptive real-time applications.

In this context, I implemented the Timely Computing Base (TCB) on the Windows CE 3.0 operating system. This implementation was the basis for a CORTEX proof-of-concept prototype and for the development of one of the CORTEX final demonstrations.

I implemented the Timely Computing Base (TCB) on the Windows CE 3.0 operating system.

The TCB is a distributed embedded component that provides a set of time related services to client applications: Timing Failure Detection of timed executions, Timely Execution of small functions, Duration Measurement of local or distributed computations. It can be used as a fundamental building block for the development of dependable real-time applications.

This implementation was the basis for a CORTEX proof-of-concept prototype and for the development of one of the CORTEX final demonstrations.

Concretização de um cenário de carros cooperantes num ambiente móvel sem fios [paper in portuguese]
Paulo Sousa, Pedro Martins, António Casimiro, Paulo Veríssimo
In Actas da Sexta Conferência sobre Redes de Computadores (CRC’03), Bragança, Portugal, Set 2003.

Towards a Cooperating Autonomous Car [paper]
Paulo Sousa, Paulo Veríssimo
In Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy, Oct 2002.