Monday, 4 June 2007, 8:45-9:00

Lorenzo Alvisi, Idit Keidar


Keynote Lecture
Monday, 4 June 2007, 9:00-10:30

Distributed Computing Meets Game Theory:
Implementing Mediators Robustly
| Siides
Joe Halpern
Cornell University (USA)


Technical Session 1: Modelling MADness I
Monday, 4 June 2007, 11:00-12:30

A Case for Holistic Incentive Design
Michael Piatek
University of Washington (USA)
MAD Utility Functions
Allen Clement
The University of Texas at Austin (USA)
Making Order in the Chaos: Self-stabilizing Byzantine Synchronization | Slides
Danny Dolev
Hebrew University (Israel)


Technical Session 2: MAD Networks
Monday, 4 June 2007, 14:30-16:30

Mobile Ad-Hoc Inter-domain Networking | Slides
Jon Crowcroft
Cambridge University (UK)
Rational Behavior in Large Networks of ISP-owned Devices | Slides
Fabio Picconi
University of Bologna (Italy)
Autonomous-System Interfaces | Slides
Katerina Argyraki
École Polytechnique Fédérale de Lausanne (Switzerland)
Languages not Formats: Tackling Network Heterogeneity Head-on | Slides
Timothy Roscoe
ETH (Switzerland)


Technical Session 3: Modelling MADness 2
Monday, 4 June 2007, 17:00-18:00

How to Leverage Altruism
Jean-Philippe Martin
Microsoft Research, Cambridge (UK)
On Model Checking Mechanisms | Slides
Enrico Tronci
University of Rome "La Sapienza" (Italy)


Keynote Lecture
Tuesday, 5 June 2007, 9.00-10.30

Security and Cooperation in Wireless Networks | Slides

Jean-Pierre Hubaux
École Polytechnique Fédérale de Lausanne (Switzerland)


Technical Session 4a: Accountability
Tuesday, 5 June 2007, 11.00-12:00

Practical Accountability for Distributed Systems
Andreas Haeberlen
Max Planck Institute for Software Systems (Germany)
Going Beyond Tit-for-Tat: Designing Peer-to-Peer Protocols for the Common Good | Slides
Ryan Peterson
Cornell University (USA)

Technical Session 4b: Applications I
Tuesday, 5 June 2007, 12:00-12:30

MAD Ensembles | Slides
Petros Maniatis
Intel Research Berkeley (USA)


Technical Session 5: Discussion Section
Tuesday, 5 June 2007, 14:30-16:30


Technical Session 6a: Perspectives on BFT 1
Tuesday, 5 June 2007, 17:00-18:00

Securing Data on Untrusted Storage
Christian Cachin
IBM Research Zurich (Switzerland)
Brahms:Byzantine Resilient Random Membership Sampling | Slides
Idit Keidar

Technical Session 6b: Applications 2
Tuesday, 5 June 2007, 18:00-18:30

FlightPath: Secure and Selfish P2P Live Streaming (Slides)
Harry Li
The University of Texas at Austin (USA)


Keynote Lecture
Wednesday, 6 June 2007, 9:00-10:00

Designing Network Protocols with Good Equilibria | Slides
Tim Roughgarden
Stanford University (USA)


Keynote Lecture
Thursday, 7 June 2007, 9:00-10:30

Theory of Networked Computing? | Slides
Joan Feigenbaum
Yale University (USA)


Technical Session 7: Perspectives on BFT 2
Thursday, 7 June 2007, 11:00-12:30

Optimizations for BFT Protocols
Atul Singh
Max Planck Insitute for Software Systems (Germany) and Rice University (USA)
Large-Scale Byzantine Fault Tolerance: Safe but Not Always Live | Slides
Petr Kouznetsov
Max Planck Insitute for Software Systems (Germany)

Brief Announcements