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

bertinoro


Workshop Program


Welcome
Wednesday, 23 June 2004, 9.15-9.30

Welcome
Lorenzo Alvisi

 

Keynote Lecture
Wednesday, 23 June 2004, 9.30-11.00

Fred Schneider
Cornell University (USA)
Discussion

 

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

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

 

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)
Discussion

 

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)
Discussion

 

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
CMU (USA)
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
MIT (USA)
Discussion

 

Keynote Lecture
Thursday, 24 June 2004, 9.00-10.00

Carl Landwehr
National Science Foundation (USA)
Discussion

 

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)
Discussion

 

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)
Discussion

 

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)
Discussion

 

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)
Discussion

 

Keynote Lecture
Friday, 25 June 2004, 9.00-10.30

Jacques Stern
Ecole Normale Supérieure (France)
Discussion

 

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

Discussion

 

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)
Discussion