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

    Resilient Intrusion Tolerance through Proactive and Reactive Recovery

    December 22nd, 2007

    Resilient Intrusion Tolerance through Proactive and Reactive Recovery
    [paper | extended version | slides PPS | slides PDF]
    Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
    In Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing (PRDC), Melbourne, Australia, pages 373-380, December 2007.


    RITAS: Randomized Intrusion Tolerance for Asynchronous Systems (2005-2007)

    December 3rd, 2007

    From May 2005 until Dec 2007 I’ve worked in the RITAS project, supported by the FCT.


    Fábio Souto (BSc internship, finished)

    September 1st, 2007

    Fábio Souto, Internals of Intrusion-tolerant Firewalls, BSc internship (Co-advised with Alysson Neves Bessani)


    Hidden Problems of Asynchronous Proactive Recovery

    June 30th, 2007

    Hidden Problems of Asynchronous Proactive Recovery
    [paper]
    Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
    In the Third Workshop on Hot Topics in System Dependability (HotDep’07). Edinburgh, UK, June 2007.


    Proactive Resilience

    May 25th, 2007

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


    Ph.D. (2004-2007)

    May 25th, 2007

    From 2004 until 2007, I’ve worked on my PhD thesis. The main goal was to design a system architecture in which protocols could tolerate, through proactive resilience, any number of arbitrary faults over the lifetime of a system.

    The initial PhD work plan is described here. Also available as a presentation.


    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.


    A System for Protecting CRUTIAL Things

    March 25th, 2007

    A System for Protecting CRUTIAL Things
    [fast abstract]
    Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
    In EuroSys 2007, Fast Abstract, Lisbon, Portugal, March 2007.


    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.


    On the Resilience of Intrusion-Tolerant Distributed Systems

    July 2nd, 2006

    On the Resilience of Intrusion-Tolerant Distributed Systems
    Paulo Sousa, Nuno Ferreira Neves, Antónia Lopes, Paulo Veríssimo
    Submitted to publication.
    Available as Technical Report DI/FCUL TR-06-14.