September 22, 2009, Session 1 (11:00-13:00)

• 11:00 BFT for the skeptics
  Yee Jiun Song (Cornell University), Flavio Junqueira (Yahoo! Research), Benjamin Reed (Yahoo! Research)
• 11:30 Practical Intrusion-tolerance in the Cloud
  Rüdiger Kapitza (Informatik 4, University of Erlangen-Nürnberg) and Hans P. Reiser (LaSIGE, University of Lisboa)
• 12:00 Towards Recoverable Hybrid Byzantine Consensus
  Hans P. Reiser (LaSIGE, University of Lisboa) and Rüdiger Kapitza (Informatik 4, University of Erlangen-Nürnberg)
  slides in pdf
• 12:30 Experiences with the UpRight Library
  Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Mike Dahlin, Taylor Rich (Department of Computer Sciences, UT Austin)

Lunch break

September 22, 2009, Session 2 (15:00-17:00)

• 15:00 From Byzantine-Tolerant to Intrusion-Safe Services
  Christian Cachin (IBM Research - Zurich), Idit Keidar (Technion), and Alexander Shraer (Technion)
  slides in pdf
• 15:30 Abstractions for Maintainable Byzantine Fault Tolerance
  Marko Vukolic (IBM Research - Zurich), Rachid Guerraoui (EPFL), and Vivien Quema (INRIA)
• 16:00 The Fault Detection Problem
  Andreas Haeberlen (Max Planck Institute for Software Systems) and Petr Kuznetsov (TU Berlin/Deutsche Telekom Laboratories)
  slides in pptx
• 16:30 Intrusion Tolerance: The killer application for BFT Protocols (?)
  Alysson Neves Bessani, Miguel Correia, Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo (University of Lisbon, Faculty of Sciences, Portugal)
  slides in ppt