| Session 1 - Invited Talk (joint with FCC) | |
| 09.00-10.00 | Invited Talk (joint session with FCC): Matteo Maffei, Formal and Computer-Aided Design of Secure Distributed Applications |
| 10.00-10.30 | Coffee Break |
| Session 2 - Security API Analysis and Design | |
| 10.30-11.00 | Jérémy Planul and Cedric Fournet, Modelling TPM-Attested Boots for Secure Distributed Systems |
| 11.00-11.30 | Riccardo Focardi and Flaminia Luccio, Analysis and development of Security APIs for disposable RFID tickets |
| 11.30-12.00 | Karthikeyan Bhargavan and Quentin Lefebvre, Verified Android Cryptographic Applications |
| 12.00-12.30 | Mike Bond and George French, PANning for gold |
| 12.30-14.00 | Lunch (in the IHP building) |
| Session 3 - RSA PKCS#11 and Demo Session | |
| 14.00-14.30 | Sibylle Froeschle and Nils Sommer, PKCS#11: Secure Configurations and New Attacks |
| 14.30-15.00 | Matteo Centenaro and Riccardo Focardi, Fixing PKCS#11 by key-diversification |
| 15.00-15.30 | Demo session |
| 15.30-16.00 | Coffee Break |
| Session 4 - Social Networks | |
| 16.00-16.30 | Michael Backes, Matteo Maffei and Kim Pecina, A Security API for Distributed Social Networks |
| 16.30-17.00 | ASA Business meeting (to discuss 2012 Dagstuhl Seminar on Security APIs) |
| 20.00 | workshop dinner, details TBA |