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.

IEEE Security & Privacy Nov/Dec 2008

The CRUTIAL Way of Critical Infrastructure Protection
Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
IEEE Security and Privacy, vol. 6, no. 6, pp. 44-51, Nov/Dec 2008.

On the Effects of Diversity on Intrusion Tolerance
Alysson Neves Bessani, Rafael Obelheiro, Paulo Sousa, Ilir Gashi
Submitted to publication.
Available as Technical Report DI/FCUL TR-08-30.

JBP aims to provide a complete, modular and clear implementation of the Byzantine Paxos agreement protocol in Java programming language. Since there are several variants of this algorithm, we choose to implement Paxos at War, by Piotr Zielinski, for consensus and extended it to for total order multicast adding only one communication step and maintaining the quadratic message complexity using the usual technique proposed by Leslie Lamport in the Classical Paxos algorithm and later extended by Castro and Liskov in the BFT system.

JBP was developed because there was no implementation of a fast Byzantine fault-tolerant Total order multicast protocol in Java. Moreover, JBP implementation follow the same line of the BFT system (implemented in C), but we want to separate state management (basically, checkpoints) from the core total order multicast algorithm.

JBP is available to download, you are welcome to try it!

Luís Miguel Dias Costa, Q-Andrew – A Consolidated QoS Management Framework, Mestrado em Segurança Informática (University of Lisboa) & Master Of Science in Information Technology – Information Security (Carnegie Mellon University), December 2008 (Co-advised with Prof. Hyong Kim, CMU)

Ricardo Manuel dos Santos Neves Oliveira, Prometheus: Operational Optimization of Firewalls in Large Corporate Networks, Mestrado em Segurança Informática (University of Lisboa) & Master Of Science in Information Technology – Information Security (Carnegie Mellon University), December 2008.

Jaime Gonçalo Pires Machado, Gadgets para Hyperion System 9, Master/Mestrado em Engenharia Informática, December 2008 (Co-advised with Eng. Ricardo Baptista, Actis)