Home Dissemination and Communication 13 Edition of the summer school on Foundations of Security Analysis and Design (FOSAD 2013)
13 Edition of the summer school on Foundations of Security Analysis and Design (FOSAD 2013) PDF Print E-mail

 

The 13th edition of the summer school on Foundations of Security Analysis and Design (FOSAD 2013) has just been successfully held in in the fascinating Rock of Bertinoro, Italy. This year edition is co-sponsored by NESSoS and Cryptoforma Networks of excellence. Co-located with the school there was also the NESSoS meeting, thus contributing to have in this week more than 100 among lecturers, researchers and students.

 

A video is available here.

 

List of FOSAD 2013 speakers:

An special session devoted to tools (many of the already integrated in the NESSoS SDE) was held on Sept. 4.:

TOOL SESSION:
ActionGUI (M. Guarnieri, ETH)
AVANTSSAR (D. von Oheimb, Siemens)
CL-ATSE (M. Turuani, Inria)
SATMC (R. Carbone, Fondazione Bruno Kessler)
SPaCIoS (A. Armando, Univ. Genova)