Wednesday, July 21st
09:15‑10:00 Session 1
Location: IF G.03
| 09:15 | Opening remarks |
| 09:30 | Robert Watson and Jonathan Anderson Connecting the Dot-Dots: Model Checking Concurrency in a Security API |
10:30‑12:30 Session 2
Location: IF G.03
| 10:30 | Graham Steel Abstractions for Verifying Key Management APIs |
| 11:00 | Sibylle Froeschle and Nils Sommer When is a PKCS#11 configuration secure? |
| 11:30 | Matteo Bortolozzo, Matteo Centenaro, Riccardo Focardi and Graham Steel CryptokiX: a cryptographic software token with security fixes |
| 12:00 | François Dupressoir, Andrew D. Gordon and Jan Jürjens Verifying Authentication Properties of C Security Protocol Code Using General Verifiers |
14:00‑15:00 Session 3
Location: IF G.03
| 14:00 | Ronald Toegl Construction of a Trusted Virtual Security Module |
| 14:30 | Mike Bond and George French Hidden Semantics: why? how? and what to do? |
15:30‑17:00 Session 4
Location: IF G.03
| 15:30 | Jon Geater, Andrew Gordon, Cliff Jones, Mark Ryan, Riccardo Focardi, Johann Schumann Panel Session; Formal Methods as/in/for industry |