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