FOSAD 2001 Main Courses Speakers: SCS: Dominique Bolignano IDS: Marc Dacier CSP: Roberto Gorrieri and Riccardo Focardi (slides) SMT: Rosario Gennaro BSS: Gary McGraw SAS: Flemming Nielson Short Courses Speakers: S1 Carlo Blundo S2 Roberto Segala S3 Iliano Cervesato (slides) S4 Pierangela Samarati (slides) S5 Fabio Martinelli S6 Pino Persiano (slides)

Timetable 16 17 18 19 20 21 22 23 24 25 26 27 28 29 Sun Mon Tue Wed Thu Fri Sat Sun Mon Tue Wed Thu Fri Sat 08.00-09.00 arrivals between 18.00 and 21.00 breakfast departures 09.00-11.00 S1 SAS SAS S4 BSS BSS SCS BSS SMT 11.00-11.30 coffee break coffee break 11.30-13.30 CSP S2 CSP SAS S3 S6 IDS SMT SMT IDS 13.30-14.30 welcome dinner 19.30 lunch 15.00-17.00 CSP S2 CSP SAS S4 IDS SCS BSS SCS SCS 17.00-17.30 tea break tea break departures 17.30-19.30 S3 S5 SMT IDS SCS: Smart Card Security - Dominique Bolignano (Trusted Logics). IDS: Intrusion Detection Systems - Marc Dacier (IBM, Zurich Research Laboratory). SMT: Security for Multimedia Traffic over IP - Rosario Gennaro (IBM, T.J. Watson Research Center). CSP: Classification of Security Properties - Roberto Gorrieri (Univ. of Bologna) and Riccardo Focardi (Univ. of Venezia). BSS: Building Secure Software - Gary McGraw (Cigital). SAS: Static Analysis for Security - Flemming Nielson (Technical Univ. of Denmark, Lyngby). S1: Introduction to Cryptography I. S2: Introduction to Cryptography II. S3: Security Protocol Specification Languages. S4: Access Control: policies, models, architectures and mechanisms. S5: Logics for Security. S6: Security Notions for Public Key Cryptosystems.