|
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
|
