FOSAD 2004

Programme
 Main courses:
  1. Michael Backes:
    Cryptographic Security and Privacy Policies (1   2   3)
  2. Virgil Gligor:
    Security in Sensor and Mobile Ad-Hoc Networks
  3. Andy Gordon:
    Web Services and Security
  4. Jan Jürjens:
    Security in UML ( 1   2)
  5. François Koeune:
    Cryptanalysis and Timing Attacks
  6. Andrei Sabelfeld:
    Language-based Security (1   2)
  7. Jan Vitek:
    Security and Coordination
 Short courses:
  1. Riccardo Focardi:
    Static Analysis of Authentication
  2. Corrado Priami:
    A Logical Approach to Security for Ambient Calculus
Sept. 5 Sept. 6 Sept. 7 Sept. 8 Sept. 9 Sept. 10 Sept. 11 Sept. 12
Sun Mon Tue Wed Thu Fri Sat Sun
08.00-08.45: Arrivals Breakfast
09.00-11.00: 6. 7. 1. 4. 2. 5.
11.00-11.30: Coffee Break
11.30-13.30: 7. 6. 2. 1. 5. Open
Session
13.30-14.30: Lunch
15.00-16.00: 8. 3. 3. 9. 4.
16.00-17.00:
17.00-18.00: Open
Session
19.30: Welcome
Dinner

Arrivals Minibus from Forlì airport and Forlì train station to the Bertinoro Residential Centre: 17.30 and 22.00.

Open sessions are dedicated to talks given by participants that intend to take advantage of the audience for discussing their current research in the area. The programme of the open sessions is on line.