| Morning | Afternoon | Evening | |
|---|---|---|---|
| Monday November 2 |
Tutorial 1 Core Topics: Cryptography: Theory and Applications Dan Boneh |
Tutorial 2 Core Topics: Authentication Protocol Verification and Analysis Jon Millen |
Tutorial 3 Emerging Topics: Programming Languages and Security Martin Abadi and George Necula |
Tutorial 4 Emerging Topics: Emerging models in electronic commerce Doug Tygar |
| Tuesday November 3 |
Conference sessions | Conference sessions | Reception |
| Wednesday November 4 |
Conference sessions | Conference sessions | Dinner |
| Thursday November 5 |
Conference sessions |