13th International School on Foundations of Security Analysis and Design Timetable

Sun 1 Sep 19:30 - 21:00 Welcome buffet at the canteen Mon 2 Sep 09:00 - 11:00 Bogdan Warinschi (pptx) 11:30 - 13:30 Frank Piessens (pdf) 15:00 - 17:00 Bruno Blanchet (intro) Tue 3 Sep 09:00 - 11:00 Bogdan Warinschi 11:30 - 13:30 Frank Piessens 15:00 - 17:00 Gilles Barthe (pdf) 17:15 - 18:45 Open session 1 Wed 4 Sep 09:00 - 11:00 Bruno Blanchet (proverif) 11:30 - 13:30 Gilles Barthe 15:00 - 18:00 TOOL SESSION: ActionGUI (M. Guarnieri, ETH) AVANTSSAR (D. von Oheimb, Siemens) CL-ATSE (M. Turuani, Inria) SATMC (R. Carbone, Fondazione Bruno Kessler) SPaCIoS - slides and demo (A. Armando, Univ. Genova) 19:30 Social dinner Thu 5 Sep 09:00 - 11:00 Javier Lopez (pdf) 11:30 - 13:30 Kenny Paterson (pdf) 15:00 - 17:00 John Mitchell (pdf) 17:15 - 18:45 Open session 2 Fri 6 Sep 09:00 - 11:00 Javier Lopez 11:30 - 13:30 Kenny Paterson 15:00 - 17:00 John Mitchell 17:15 - 18:45 Open session 3 Sat 7 Sep Departures

Open session 1 Andrea Saracino, IIT-CNR Dan Bogdanov, Cybernetica AS (pdf) Roxana Farcasescu, West Univ. Timisoara Open session 2 Hirschi Lucca, ENS Cachan (pdf) Chretien Remy, ENS Cachan (pdf) Guillaume Scerri, ENS Cachan Open session 3 Leanid Krautsevich, IIT-CNR (pdf) Jiangshan Yu, Univ. of Birmingham (pdf) Per Hallgren, Chalmers Univ. (pdf)

---