Thursday, June 30
9:45 |
FCS
Opening
Andrei Sabelfeld,
Chalmers
|
|
Invited
talk I |
9:50 |
Language-based Intrusion Detection
Jan Vitek, Purdue
University
|
10:30 |
Coffee break |
|
Language-based
Security |
11:00 |
Dynamic Updating of Information-Flow
Policies
Michael
Hicks, University of Maryland
Stephen Tse, University of Pennsylvania
Boniface Hicks, Pennsylvania State University
Steve Zdancewic, University of Pennsylvania
|
11:30 |
Monitoring Information Flow
Gurvan Le Guernic,
Universite de Rennes 1
Thomas Jensen, CNRS
|
12:00 |
Optimized Enforcement of Security Policies
Mahjoub Langar,
Université Laval
Mohamed Mejri, Université Laval
|
12:30 |
Lunch |
|
Information
Flow
|
14:00 |
Unifying Confidentiality and Integrity in
Downgrading Policies
Peng Li, University of
Pennsylvania
Steve Zdancewic, University of Pennsylvania
|
14:30 |
Keeping Secrets in Incomplete Databases
Joachim Biskup,
University of Dortmund
Torben Weibert, University of Dortmund
|
15:00 |
Non-Interference for a
Typed Assembly Language
Ricardo Medel, Stevens
Institute of Technology
Adriana Compagnoni, Stevens Institute of Technology
Eduardo Bonelli, National University of La Plata |
15:30
|
Coffee break |
|
Network Security and Denial-of-Service
Attacks
|
16:00 |
Trusting the Network
Tom Chothia, Ecole
Polytechnique
Dominic Duggan, Stevens Institute of Technology
Ye Wu, Stevens Institute of Technology
|
16:30 |
Formal Modeling and Analysis of DoS Using
Probabilistic Rewrite Theories
Gul Agha, University of
Illinois at Urbana-Champaign
Michael Greenwald, Lucent Bell Labs
Carl Gunter, University of Illinois at Urbana-Champaign
Sanjeev Khanna, University of Pennsylvania
Jose Meseguer, University of Illinois at Urbana-Champaign
Koushik Sen, University of Illinois at Urbana-Champaign
Prasanna Thati, Carnegie-Mellon University
|
17:00 |
End |
Friday, July 1
|