Keynote Lecture
|
|---|
|
Distributed Computing Meets Game
Theory: Implementing Mediators Robustly | Siides Joe Halpern Cornell University (USA) |
| Discussion |
Technical Session 1: Modelling MADness I
|
|---|
| 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) |
| Discussion |
Technical Session 2:
MAD Networks
|
|---|
| 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) |
| Discussion |
Technical Session 3:
Modelling MADness 2
|
|---|
| How to
Leverage Altruism Jean-Philippe Martin Microsoft Research, Cambridge (UK) |
| On Model
Checking Mechanisms | Slides Enrico Tronci University of Rome "La Sapienza" (Italy) |
| Discussion |
Keynote Lecture
|
|---|
|
Security and
Cooperation in Wireless Networks | Slides Jean-Pierre Hubaux École Polytechnique Fédérale de Lausanne (Switzerland) |
| Discussion |
Technical Session 4a: Accountability
|
|---|
|
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
|
|
MAD Ensembles |
Slides Petros Maniatis Intel Research Berkeley (USA) |
| Discussion |
Technical Session 6a: Perspectives on BFT 1
|
|---|
|
Securing Data on
Untrusted Storage Christian Cachin IBM Research Zurich (Switzerland) |
|
Brahms:Byzantine Resilient
Random Membership Sampling | Slides Idit Keidar Technion(Israel) |
Technical Session 6b: Applications 2
|
|
FlightPath:
Secure and Selfish P2P Live Streaming (Slides) Harry Li The University of Texas at Austin (USA) |
Keynote Lecture
|
|---|
|
Designing Network
Protocols with Good Equilibria | Slides Tim Roughgarden Stanford University (USA) |
| Discussion |
Keynote Lecture
|
|---|
|
Theory of Networked
Computing? | Slides
Joan Feigenbaum Yale University (USA) |
| Discussion |
Technical Session 7: Perspectives on BFT 2
|
|---|
|
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 |