• security of multiparty computations (by I. Damgård)
• privacy in the Internet of the future (by M. Backes)
• concurrent noninterference (by H. Mantel)
• cryptographic and probabilistic programming (by A. Gordon)
• automated security proofs by contradiction (by H. Comon)
• hyperproperties: formalization of security - verifiability and privacy in electronic voting (by M. Clarkson)
• system security (by H. Bos)
• bonus track*: Strategic Thinking for Researchers by A. Gordon (1 hour on Thursday afternoon)

The courses include theoretical and practical sessions.
The program includes also the open sessions, which are dedicated to presentations given by participants.
We push for both self-introduction speechs (5 min) and presentations (20 min) about research interests and ongoing activities.
Proposals are welcome until the completion of the program.

Welcome buffet at the canteen: 19.30, Sunday 30 August
Social aperitif and dinner: 18.30, Wednesday 2 September
Visit to the Interfaith Museum: 18.15, Thursday 3 September
Breakfast (8.00-9.00) and lunch are served at the canteen

Open session talks

• D. Schneider: Certifying the security of Android applications with CASSANDRA
• V. Sundararajan: Extending Dolev-Yao with assertions
• M. Mehrnezhad: Attacks on user privacy and security based on mobile motion and orientation via javascript
• Y. Juglaret: Secure compilation using micro policies
• R. Stanley: On API policies for secure key management
• N. Kobeissi: Verified implementations in javascript
• A. Filipiak: Security services for mobile devices
• L. Robin: Automated verification of protocols using low-entropy secrets