Random Post: JBP - Java Byzantine Paxos
RSS .92| RSS 2.0| ATOM 0.3
  • Home
  • #6 (no title)
  •  

    FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery

    December 31st, 2008

    FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery
    Alysson Neves Bessani, Hans P. Reiser, Paulo Sousa, Ilir Gashi, Vladimir Stankovic, Tobias Distler, Rüdiger Kapitza, Alessandro Daidone, Rafael R. Obelheiro
    In Middleware (Companion),  Leuven, Belgium, pages 99-101, December 2008.


    Segurança e Disponibilidade através de Resiliência Proactiva

    July 9th, 2008

    Segurança e Disponibilidade através de Resiliência Proactiva (in portuguese)
    Paulo Sousa
    Prémio Científico IBM 2007 | IBM 2007 Scientific Award
    Available as Technical Report DI/FCUL TR-08-15.
    (media coverage)


    IBM Scientific Award (2007)

    July 9th, 2008

    Winner of the IBM 2007 Scientific Award, with the work Security and Availability through Proactive Resilience (in portuguese). You can find some of the media coverage in here.


    Proactive Resilience

    May 25th, 2007

    Proactive Resilience
    [thesis]
    Paulo Sousa
    Ph.D. thesis, May 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.


    Resilient State Machine Replication

    December 20th, 2005

    Resilient State Machine Replication
    [paper | slides with animations | slides without animations]
    Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
    In Proceedings of the 11th Pacific Rim International Symposium on Dependable Computing (PRDC), Changsha, China, pages 305-309, December 2005.


    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.


    How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?

    June 30th, 2005

    How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?
    [paper | slides with animations | slides without animations]
    Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
    In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN’05). Yokohama, Japan, pages 98-107, June 2005.