FuDiCo II: S.O.S.
Survivability: Obstacles and Solutions
2nd Bertinoro Workshop on Future Directions in Distributed Computing

23-25 June 2004
University of Bologna Residential Center
Bertinoro (Forlì), Italy


Workshop Program

Wednesday, 23 June 2004, 9.15-9.30

Lorenzo Alvisi


Keynote Lecture
Wednesday, 23 June 2004, 9.30-11.00

Fred Schneider
Cornell University (USA)


Technical Session 1: Survivability and Privacy
Wednesday, 23 June 2004, 11.30-13.00

The Edge of Privacy
V. Shmatikov
Survivability: Beyond Fault-Tolerance and Security
L. Zhou
Microsoft Research (USA)
Modern Security with Traditional Distributed Algorithms
R. Guerraoui and M. Vukolic
EPFL (Switzerland)


Technical Session 2: Measuring Robustness
Wednesday, 23 June 2004, 15.00-16.00

Statistical Monitoring + Predictable Recovery = Self-*
A Fox, E. Kiciman, D.A Patterson, R. Katz, M. Jordan, I. Stoica, and D. Tygar.
Stanford University and UC Berkeley (USA)
Towards a framework for automated robustness evaluation of distributed services
D. Oppenheimer, V. Vatkovskiy, and D.A. Patterson
UC Berkeley (USA)


Technical Session 3: Peer-to-peer Systems
Wednesday, 23 June 2004, 16.00-17.00

On designing incentives-compatible peer-to-peer systems
T.W. Ngan, A. Nandi, A. Singh, D.S. Wallach, P. Druschel
Rice University (USA)
Limiting Duplicate Identities in Distributed Systems
E. Jaffe, D. Malkhi, E. Pavlov
The Hebrew University of Jerusalem (Israel)


Technical Session 4: Survivable Storage
Wednesday, 23 June 2004, 17.30-19.00

A protocol family approach to survivable storage infrastructures
J. Wylie, G.R. Goodson, G.R. Ganger, and M.K. Reiter
Optimal Resilience Wait-Free Storage from Byzantine Components: Inherent Costs and Solutions
G. Chokler, I. Keidar, and D. Malkhi
MIT (USA), Technion (Israel) and The Hebrew University of Jerusalem (Israel)
Byzantine Fault Tolerance in Long-Lived Systems
R. Rodrigues and B. Liskov


Keynote Lecture
Thursday, 24 June 2004, 9.00-10.00

Carl Landwehr
National Science Foundation (USA)


Technical Session 5: Gossip-based Protocols
Thursday, 24 June 2004, 10.00-11.30

Towards Survivability of Application-Level Multicast
G. Badishi, I. Keidar, and R. Melamed
Technion (Israel)
Detection and Removal of Malicious Peers in Gossip-Based Protocols
M. Jelasity, A. Montresor, and O. Babaoglu
Università di Bologna (Italy)
Self-Adapting Epidemic Broadcast Algorithms
L. Rodrigues and J. Pereira
Universidade de Lisboa (Portugal)


Technical Session 6-I: Byzantine Protocols
Thursday, 24 June 2004, 12.00-13.00

Wormhole-Aware Byzantine Protocols
N. Ferreira Neves, M. Correia and Paulo Verissimo
Universidade de Lisboa (Portugal)
Coping with the Insider Threat in Scalable Distributed Information Systems
C. Nita-Rotaru and Y. Amir
Purdue University and Johns Hopkins University (USA)


Technical Session 6-II: Byzantine Protocols
Thursday, 24 June 2004, 15.00-16.00

Distributing Trust on the Internet
C. Cachin
IBM Research Zurich (Switzerland)
Byzantine Replication for Trustworthy Systems
J.P. Martin and L. Alvisi
UT Austin (USA)


Brief Announcements
Thursday, 24 June 2004, 16:00-16:30


Technical Session 7: Survivable Software
Thursday, 24 June 2004, 17.00-18.30

Customizable and Adaptive Survivability
M. Hiltunen and R. Schlichting
AT&T Research (USA)
Robust multi-threading
J. Napper and L. Alvisi
UT Austin (USA)
Survivability of Operating Systems: Handling Vulnerabilities
N. Suri and A. Johansson
TU Darmstadt (Germany)


Keynote Lecture
Friday, 25 June 2004, 9.00-10.30

Jacques Stern
Ecole Normale Supérieure (France)


Brief Announcements
Friday, 25 June 2004, 10:30-11.00



Technical Session 8: Solitaires
Friday, 25 June 2004, 11.30-13.00

Fault-Tolerant Forwarding in the Face of Malicious Routers
A.T. Mizrack, K. Marzullo, and S. Savage
UC San Diego (USA)
Integrating End-to-end Security and Fault Tolerance
A. Myers
Cornell University (USA)
Securely Improving Performance Through Speculative Predicitve Remote Execution
B. Yee
Google (USA)