LICS'05 Affiliated Workshop on

Foundations of Computer Security - FCS'05

Chicago, IL, June 30 - July 1, 2005

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
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
  Invited talk II
Constructive Authorization Logics
Frank Pfenning, Carnegie Mellon University
10:30 Coffee break

Security Protocols and Decidability Issues
11:00 A Constraint-Based Algorithm for Contract-Signing Protocols
Detlef Kaehler, University of Kiel
Ralf Kuesters, University of Kiel

11:30 Logical Omniscience in the Semantics of BAN Logic
Mika Cohen, KTH
Mads Dam, KTH
12:00 Partial model checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties
Fabio Martinelli, IIT-CNR
Ilaria Matteucci, IIT-CNR

12:30 End

Andrei Sabelfeld, Last modified: July 11, 2005