Monday, August 18, 2003
|
7:00 p.m.
|
Welcome Reception and Dinner
|
|
Tuesday, August 19, 2003
|
7:00 - 8:30
|
Breakfast
|
8:45 - 9:15
|
Welcome from General Chairs and Organizational Announcements
|
|
SESSION 1: Surviving Threats
Session Chair
|
9:15 - 10:15
|
Locality: A new Paradigm for
Thinking About Normal Behavior and Outsider Threat
J. McHugh
|
| |
10:15 - 10:30
|
Break for Refreshments
|
| |
10:30 - 11:30
|
Forming Alliance for DDoS Defense
J Mirkovic, M Robinson, P Reiher
|
11:30 - 12:30
|
Merging Paradigms of Survivability
and Security: Stochastic Faults and Designed Faults
J McDermott et al
|
| |
12:30 - 2:00
|
Lunch
|
| |
|
SESSION 2: Language Based Security
Session Chair
|
2:00 - 3:00
|
SELF: a Transparent Security Extension for ELF Binaries
S Bhatkar, DC DuVarney, VN Venkatakrishnan
|
3:00 - 4:00
|
Dynamic Label Binding at Run-time
Y Beres, C Dalton
|
| |
4:00 - 4:15
|
Break for Refreshments
|
| |
4:30
|
Social Activity: Guided tour of the Casa Anatta museum
|
| |
7:00 - 8:30
|
Dinner
|
|
Wednesday, August 20, 2003
|
|
7:00-8:30
|
Breakfast
|
| |
9:00 - 9:15
|
Organisational Announcements
|
|
SESSION 3: Security Engineering
|
9:15 - 10:15
|
Bringing Security Home: A process for developing
secure and usable systems
I Flechais, M.A. Sasse, S.M.V Hailes
|
| |
10:15 - 10:30
|
Break for Refreshments
|
| |
10:30 - 11:30
|
Security Check: A Formal Yet Practical Framework
For Secure Software Architecture
A Ray
|
11:30 - 12:30
|
From Absence of Certain Vulnerabilities towards Security
Proofs --- Pushing the Limits of Formal Verification
M Backes, M Schunter
|
| |
12:30 - 2:00
|
Lunch
|
|
SESSION 4: Identification Control
|
2:00 - 3:00
|
Secure Object Identification - or:
Solving The Chess Grandmaster Problem
Ammar Alkassar, Christian Stüble, Ahmad-Reza Sadeghi
|
3:00 - 4:00
|
Public Key Distribution through "cryptoIDs"
|
| |
4:00 - 4:15
|
Break for Refreshments
|
4:15 - 5:15
|
Owner Controlled Information
C Gates, J Slonim
|
| |
7:00 - 8:30
|
Dinner
|
|
Thursday, August 21, 2003
|
7:00 - 8:30
|
Breakfast
|
| |
9:00 - 9:15
|
Organisational Announcements
|
|
SESSION 5: Ubiquitous Computing/Security
|
9:15 - 10:15
|
Towards a New Paradigm for Securing Wireless Sensor Networks
K Jones et al
|
| |
10:15 - 10:30
|
Break for Refreshments
|
| |
10:30 - 11:30
|
WiFi Nomads and their Unprotected Devices: The Case for
QED-Quarantine, Examination, and Decontamination
K Eustice et al
|
| |
11:30 - 12:30
|
Business Meeting
|
| |
12:30 - 2:00
|
Lunch
|