The 13th edition of the summer school on Foundations of Security Analysis and Design (FOSAD 2013) has just been succesfully held in Bertinoro (1-6 Sept. 2013).
This year edition is again organized in cooperation with NESSoS project and CryptoForma one.
NESSoS project had a plenary meeting colocated with the School and considering the FOSAD/NESSoS events near 100 researchers/students attended the meeting.