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 |