Security in computer systems and networks emerged as one of the most challenging research areas. The International School on Foundations of Security Analysis and Design (FOSAD) has been one of the foremost events established with the goal of disseminating knowledge in this critical area. The main aim of the FOSAD school is to offer a good spectrum of current research in foundations of security - ranging from programming languages to analysis of protocols, from cryptographic algorithms to access control policies and trust management - that can be of help for graduate students and young researchers from academia or industry that intend to approach the field.

Since the first event in 2000 and until its 16th edition in 2016, FOSAD attracted about 800 participants and 140 lecturers from all over the world. The school programme alternates monographic courses given by well-known experts in the security community. Moreover, FOSAD encourages presentations given by those participants that intend to take advantage of the audience for discussing their current research in the area. Many of the young speakers of the FOSAD open session are now appreciated researchers and professors.


FOSAD is held annually at the University Residential Center of Bertinoro, in the fascinating scenario of a former convent and episcopal fortress that has been transformed into a modern conference facility with computing services and Internet access.

FOSAD series Proceedings

In the last years, didactical material from the FOSAD lectures appeared in the tutorial series of Springer LNCS.

List of volumes:

LNCS 9808: LNCS 9808 LNCS 8604: LNCS 8604 LNCS 6858: LNCS 6858 LNCS 5705: LNCS 5705 LNCS 4677: LNCS 4677 LNCS 3655: LNCS 3655 LNCS 2946: LNCS 2946    LNCS 2171: LNCS 2171

Satellite events

FOSAD promotes events where young researchers can present their ongoing work and discuss novel insights of the field, such as the International Workshop on Views On Designing Complex Architectures (VODCA):


In order to receive the latest updates on the school, the satellite events, and further security related events, subscribe to:
a mailing list for the scientific community interested in computer security.