RSS .92| RSS 2.0| ATOM 0.3
  • Home
  • #6 (no title)
  •  

    Proactive Resilience

    May 25th, 2007

    Proactive Resilience
    [thesis]
    Paulo Sousa
    Ph.D. thesis, May 2007.


    Intrusion-Tolerant Protection for Critical Infrastructures

    April 3rd, 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

    October 15th, 2006

    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

    April 21st, 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.


    RT-PSS: Real-time proactive secret sharing library for RTAI

    November 1st, 2005

    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

    June 2nd, 2005

    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

    April 20th, 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

    June 28th, 2004

    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.


    CORTEX: CO-operating Real-time senTient objects: architecture and EXperimental evaluation (2001-2004)

    March 31st, 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.


    TCB WinCE: Timely Computing Base for Windows CE

    November 13th, 2003

    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.