- Sunday 30 August, 17.15 - 18.15

Valerio Genovese - Univ. of Torino, Italy
   FSL -- Fibred Security Language

Andreas Vogt - Univ. of Trier, Germany
   Improving and Simplifying a Variant of Prêt à Voter

- Monday 31 August, 17.15 - 18.15

Lamia Chaari - MIHI, Tunisia
   Security Mechanisms Over Mobile Wimax

Sonia Santiago - TU Valencia, Spain
   A Graphical User Interface for Maude-NPA

- Tuesday 1 September:

  11.30 - 13.30

Richard Gay - TU Darmstadt, Germany
   Interrupt-Related Covert Channels from an Attacker's Perspective

Trajce Dimkov - Univ. of Twente, the Netherlands
   Portunes: Generating Attack Scenarios by Finding Inconsistencies
   Between Security Policies in the Physical, Digital, and Social Domain

Rasika Dayarathna - Univ. of Stockholm, Sweden
   Comparing Security and Privacy Protection Mechanisms in Free Web
   Based Email Systems

Jonas Magazinius - TU Chalmers, Sweden
   Information Flow for Mashups

  17.15 - 18.15

Alejandro Russo - TU Chalmers, Sweden
   Dynamic vs. Static Flow-Sensitive Security Analysis

Aliaksei Tsitovich - Univ. of Lugano, Switzerland
   The Synergy of Precise and Fast Abstractions for Program Verification

- Wednesday 2 September, 17.15 - 18.15

Ida Siahaan - Univ. of Trento, Italy
   Optimizing IRM with Automata Modulo Theory

Filippo Del Tedesco - TU Chalmers, Sweden
   A User Model for Information Erasure