FOSAD has been one of the foremost educational events established with the goal of
disseminating knowledge in the critical area of security in computer systems and networks. Over
the years both the summer school and the book series have represented a reference point for
graduate students and young researchers from academia or industry interested to approach the
field investigate open problems and follow priority lines of research. This book presents
thoroughly revised versions of nine tutorial lectures given by leading researchers during three
International Schools on Foundations of Security Analysis and Design FOSAD held in Bertinoro
Italy in September 2012 and 2013. The topics covered in this book include model-based security
automatic verification of secure applications information flow analysis cryptographic voting
systems encryption in the cloud and privacy preservation.
