Random Post: Carnegie Mellon|Portugal Security and Dependability Academy
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.

    No Comments » | Publications | Permalink
    Posted by pjsousa

    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.

    No Comments » | Projects | Permalink
    Posted by pjsousa

    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)

    No Comments » | Finished, Students | Permalink
    Posted by pjsousa

    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.

    No Comments » | Publications | Permalink
    Posted by pjsousa

    Proactive Resilience

    May 25th, 2007

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

    No Comments » | Publications | Permalink
    Posted by pjsousa

    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.

    No Comments » | Projects | Permalink
    Posted by pjsousa

    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.

    No Comments » | Publications | Permalink
    Posted by pjsousa

    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.

    No Comments » | Publications | Permalink
    Posted by pjsousa

    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.

    No Comments » | Publications | Permalink
    Posted by pjsousa

    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.

    No Comments » | Publications | Permalink
    Posted by pjsousa

    « Previous Entries
    Next Entries »