DSN 2009: 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 29 – July 2, 2009.

Summary:

DSN is the chosen forum for researchers around the world, for presenting the very best research results, solutions to problems, and insight into emergent new challenges. DSN has pioneered the fusion between security and dependability, understanding the need to simultaneously fight against cyber attacks, accidental faults, design errors, and unexpected operating conditions.

Secure Software Systems (coordinator)
Network Security (coordinator)

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.

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.

Towards Intrusion-Tolerant Process Control Software
Hugo Ortiz, Paulo Sousa, Paulo Veríssimo
In Proceedings of the 4th Portuguese National Conference of Informatics Security in Organizations (SINO 2008 ), Coimbra, Portugal, November 2008.

DSN’09 – International Conference on Distributed Systems and Networks
Estoril, Portugal, 29th June – 2nd July, 2009
http://www.dsn.org/

Important dates:

Workshop Proposals: October 13, 2008
Mandatory Paper Abstracts: December 8, 2008
Full Papers: December 15, 2008
Panel Proposals: December 15, 2008
Tutorial Proposals: January 12, 2009
Fast Abstracts & Student Forum: April 6, 2009

Fundamentals of Embedded Systems (co-instructor)

Networks and Distributed Systems Seminar