12th International School on Foundations of Security Analysis and Design
Timetable

Sun 2 Sep
19:30 21:00 Welcome buffet at the canteen
Mon 3 Sep
09:00 - 11:00 Martin Abadi (University of California at Santa Cruz and Microsoft Research, US)
Software Security
11:30 - 13:30 Fabrice Bouquet (FEMTO-ST, FR)
Model Based Testing for Functional and Security Test
13:30 lunch
15:00 - 17:00 Mark Ryan (University of Birmingham, UK)
Verifying security protocols with ProVerif and StatVerif (1 - 2 - 3)
Tue 4 Sep
09:00 - 11:00 Martin Abadi (University of California at Santa Cruz and Microsoft Research, US)
Software Security
11:30 - 13:30 Mark Ryan (University of Birmingham, UK)
Verifying security protocols with ProVerif and StatVerif (1 - 2 - 3)
13:30 lunch
15:00 - 17:00 Jan Jurjens (Fraunhofer ISST Dortmund, GE)
Model-based Security Engineering
Wed 5 Sep
09:00 - 11:00 Jan Jurjens (Fraunhofer ISST Dortmund, GE)
Model-based Security Engineering
11:30 - 13:30 Fabrice Bouquet (FEMTO-ST, FR)
Model Based Testing for Functional and Security Test
13:30 lunch
15:00 - 17:00 Karthik Bhargavan (INRIA-Microsoft Research Joint Centre, FR)
Cryptography for the Web: Attacks and Proofs
Thu 6 Sep
09:00 - 11:00 Phillip Rogaway (University of California at Davis, US)
Provably Secure Shared-Key Encryption
11:30 - 13:30 Karthik Bhargavan (INRIA-Microsoft Research Joint Centre, FR)
Cryptography for the Web: Attacks and Proofs
13:30 lunch
15:00 - 17:00 open session
Fri 7 Sep
09:00 - 11:00 Phillip Rogaway (University of California at Davis, US)
Provably Secure Shared-Key Encryption
11:30 - 13:30 Bart Preneel (KU Leuven, BE)
Hash Functions and MAC Algorithms: Theory and Practice
13:30 lunch
15:00 - 17:00 Pierangela Samarati (University of Milan, IT)
Privacy in Data Pubblication and Outsourcing Scenarios
Sat 8 Sep
09:00 - 11:00 Bart Preneel (KU Leuven, BE)
Hash Functions and MAC Algorithms: Theory and Practice
11:30 - 13:30 Pierangela Samarati (University of Milan, IT)
Privacy in Data Pubblication and Outsourcing Scenarios
13:30 closing and lunch

Open session:
Ravi Jhawar (Univ. of Milano): A System-Level Perspective of Reliability Management in Cloud Computing
Giovanni Livraga (Univ. of Milano): Enforcing Subscription-based Authorization Policies in Cloud Scenarios
Thomas Ruhroth (TU Dortmund): Beyond One-Shot Security: Keeping Information Systems Secure through Environment-Driven Knowledge Evolution
Bart van Delft (Chalmers Univ.): Paragon, an Information Flow aware Compiler for Java
Gurchetan Singh Grewal (Univ. of Birmingham): Coercion Evidence in Electronic Voting
Alceste Scalas (Univ. of Cagliari): Contract-Oriented Computing with CO2