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.
No Comments » | 
Publications | 
Permalink
Posted by pjsousa
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)
No Comments » | Publications | Permalink
Posted by pjsousa
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.
No Comments » | Awards | Permalink
Posted by pjsousa
Proactive Resilience
[thesis]
Paulo Sousa
Ph.D. thesis, May 2007.
No Comments » | Publications | Permalink
Posted by pjsousa
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
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
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.
No Comments » | Publications | Permalink
Posted by pjsousa
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.
No Comments » | Software | Permalink
Posted by pjsousa
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.
No Comments » | Publications | Permalink
Posted by pjsousa