Scientific Directors

Alessandro Aldini
Roberto Gorrieri
Fabio Martinelli
Andrei Sabelfeld

Administrative Staff

Andrea Bandini
Elena Della Godenza

Application deadline:
May 31, 2004
June 15, 2004
Registration deadline:
July 15, 2004

FOSAD book
FOSAD book

FOSAD 2004
4th International School on
Foundations of Security
Analysis and Design

6-11 September 2004

Bertinoro University Residential Center


Security in computer systems and networks is emerging as one of the most challenging research areas for the future. The main aim of the school is to offer a good spectrum of current research in foundations of security, ranging from programming languages to analysis of protocols, that can be of help for graduate students, young researchers from academia or industry that intend to approach the field.
The FOSAD series started in 2000 and last edition was in 2002. This year the school covers one week (from Monday 6 to Saturday 11, September 2004) and alternates monographic courses of 4/6 hours and short courses of 2/3 hours. We also encourage presentations given by those participants that intend to take advantage of the audience for discussing their current research in the area.

All the participants will receive didactical material from the lecturers and relevant related literature, among which:

This year the school is followed by a satellite event: the 1st International Workshop on Views On Designing Complex Architectures (VODCA - 11 and 12 September 2004).

For further information about the university residential center contact Elena Della Godenza:

For further information about the school contact Alessandro Aldini.