ASA-5 Programme, Institut Henri Poincaré (IHP) Paris, France, June 30th 2011

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