Proactive Resilience
May 25th, 2007Proactive Resilience
[thesis]
Paulo Sousa
Ph.D. thesis, May 2007.
Proactive Resilience
[thesis]
Paulo Sousa
Ph.D. thesis, May 2007.
Intrusion-Tolerant Protection for Critical Infrastructures
Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
Submitted to publication.
Available as Technical Report DI/FCUL TR-07-8.
Proactive Resilience Revisited: the Delicate Balance Between Resisting Intrusions and Remaining Available
[paper | slides]
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders
In Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS), Leeds, UK, pages 71-80, October 2006.
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.
A New Approach to Proactive Recovery
[paper | slides]
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
In Fifth European Dependable Computing Conference (EDCC-5) Supplementary Volume. Budapest, Hungary, pages 35-40, April 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.