 11th International School on Foundations of Security Analysis and Design Timetable 
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 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 |