FOSAD
11th International School on Foundations of Security Analysis and Design
Timetable

linea
Sun 28 Aug
19:00 - 21:00 Welcome buffet at the canteen
Mon 29 Aug
09:00 - 11:00 C. Meadows – Formal Methods and Cryptographic Protocol Analysis
11:30 - 13:30 V. Gligor – On the Foundations of Trust in Computing Systems
13:30 lunch
15:00 - 17:00 D. Micciancio – Lattice Cryptography
17:30 - 18:30 C. Palamidessi – Quantitative Information Flow
Tue 30 Aug
09:00 - 11:00 V. Gligor – On the Foundations of Trust in Computing Systems
11:30 - 13:30 C. Meadows – Formal Methods and Cryptographic Protocol Analysis
13:30 lunch
15:00 - 17:00 D. Micciancio – Lattice Cryptography
17:30 - 18:30 C. Palamidessi – Quantitative Information Flow
Wed 31 Aug
09:00 - 11:00 D. Basin, M. Clavel, M. Gonzales – Model-Driven Security: Foundations, Tools, and Practice
11:30 - 13:30 K. Stølen – Model-Driven Risk Analysis: the CORAS Approach
13:30 lunch
15:00 - 17:00 F. Massacci – Security Requirements and Compliance
Thu 01 Sep
09:00 - 10:00 K. Stølen – Model-Driven Risk Analysis: the CORAS Approach
10:00 - 11:00 K. Stølen – Model-Driven Risk Analysis: the CORAS Approach
11:30 - 13:30 F. Massacci – Security Requirements and Compliance
13:30 lunch
15:00 - 17:00 D. Basin, M. Clavel, M. Gonzales – Model-Driven Security: Foundations, Tools, and Practice
open session Michael Feiri – PRESERVE: Preparing Secure V2X Communication Systems
Matthijs Melissen – Fairness in Non-repudiation Protocols
Fri 02 Sep
09:00 - 11:00 D. Basin, M. Clavel, M. Gonzales – Model-Driven Security: Foundations, Tools, and Practice
11:30 - 13:30 C. Palamidessi – Quantitative Information Flow
13:30 lunch
15:00 - 17:00 F. Massacci – Security Requirements and Compliance
open session Alberto Calvi – Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC
Devrim Unal – Security Policy Specification and Verification for Mobility Networks
Sat 03 Sep
09:00 - 11:00 A. Aldini – Trade-off Between Security and Performance
open session Milica Milutinovic – Privacy Preserving Mechanisms for eHealth Systems
Faysal Boukayova – Using a Smartphone to Access Personalized Web Services on a Workstation
13:30 lunch
Open session: talks given by participants will be scheduled from Wednesday to Friday in the slot 17:15 - 18:15, and on Saturday in the slot 11:30 - 13:30.