Program of ASA

Wednesday, July 21st

Wednesday's program is also available with abstracts and side by side with other events.

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 Andrew Gordon, Reiner Hähnle, Cliff Jones, Mark Ryan, Riccardo Focardi, Johann Schumann
Panel Session; Formal Methods as/in/for industry