FOSAD 2005

Programme

 
  1. Gilles Barthe:
    Formal Methods for Smartcard Security
  2. David Basin: Model-driven security (paper - slides)
  3. Elisa Bertino:
    Privacy preserving database systems
  4. Herve Debar:
    Intrusion detection
  5. Theo Dimitrakos:
    GRID/Virtual Organizations Security
  6. Fabio Massacci:
    Security and trust requirements engineering
  7. Mogens Nielsen:
    Formal model of trust
  8. Gene Tsudik:
    Wireless network security(1 - 2 - 3 - 4)
  9. Sjouke Mauw:
    Foundations of Attack Trees
Sept. 18 Sept. 19 Sept. 20 Sept. 21 Sept. 22 Sept. 23 Sept. 24 Sept. 25
Sun Mon Tue Wed Thu Fri Sat Sun
08.00-08.45: Arrivals Breakfast
09.00-11.00: 2. 2. 7. 4. 8. 1.
11.00-11.30: Coffee Break
11.30-13.30: 4. 4. 5. 7. 5.
13.30-14.30: Lunch
15.00-16.00: 3. 3. 6. 8. 1.
16.00-17.00:
17.00-18.00: 9.
19.30: Welcome
Dinner

Blu time: open sessions.

Open Session Programme

Friday, 23:

  • Aslan Askarov (Chalmers Univ. of Technology)
    Security typed Languages for Implementation of Security Protocols
  • Cas Cremers (TU Eindhoven)
    Feasibility of Multi-Protocol Attacks

Saturday, 24:

  • Gansen Zhao (Univ. of Kent)
    Secure Role based Messaging
  • Edgar Weippl (Wien Univ. of Technology)
    Security in E-learning