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.