15th IEEE Computer Security Foundations Workshop

June 24-26, 2002

Keltic Lodge

Cape Breton, Nova Scotia, Canada

Technical Program

SUNDAY June 23, 2002

6:30 - 7:30

Reception and Registration

MONDAY June 24, 2002

8:45 - 9:00	WELCOME Iliano Cervesato (Naval Research Laboratory), General Chair Steve Schneider (Royal Holloway, University of London), Program Chair
9:00 - 10:30	Information Flow I Session Chair: Riccardo Focardi Approximate Non-Interference Alessandra Di Pierro (University of Pisa), Chris Hankin (Imperial College), and Herbert Wiklicky (Imperial College) Quantifying Information Flow Gavin Lowe (Oxford) Secrecy in Multiagent Systems Joseph Halpern and Kevin O'Neill (Cornell)
10:30 - 11:00	Break
11:00 - 12:00	Intrusion Session Chair: Joshua Guttman Two Formal Analyses of Attack Graphs Somesh Jha (University of Wisconsin), Oleg Sheyner (CMU), and Jeannette Wing (CMU) Formal Specification of Intrusion Signatures and Detection Rules Jean-Philippe Pouzol and Mireille Ducassé (IRISA)
12:00 - 2:00	Lunch
2:00 - 3:30	Protocols I Session Chair: Paul Syverson Types and Effects for Asymmetric Cryptographic Protocols Andrew D. Gordon (Microsoft Research) and Alan Jeffrey (DePaul University) Security Protocol Design via Authentication Tests Joshua D. Guttman (MITRE) Strand Spaces and Rank Functions: More Than Distant Cousins James Heather (University of Surrey)
3:30 - 4:00	Break
4:00 - 5:00	Applications of model-checking Session Chair: Steve Schneider Probabilistic Analysis of Anonymity Vitaly Shmatikov (SRI) Analysis of SPKI/SDSI Certificates Using Model Checking Somesh Jha and Thomas Reps (University of Wisconsin)
5:30 - 8:00	Whale watching excursion

TUESDAY June 25, 2002

9:00 - 10:30	Protocols II Session Chair: Dieter Gollmann Capturing Parallel Attacks within the Data Independence Framework Philippa J. Broadfoot and Bill Roscoe (Oxford) Polynomial Fairness and Liveness Michael Backes (Saarland University), Birgit Pfitzmann (IBM Zurich), Michael Steiner (Saarland University), and Michael Waidner (IBM Zurich) A Formal Analysis of some Properties of Kerberos 5 using MSR Frederick Butler (University of Pennsylvania), Iliano Cervesato (ITT Industries), Aaron D. Jaggard (University of Pennsylvania) and Andre Scedrov (University of Pennsylvania)
10:30 - 11:00	Break
11:00 - 12:00	Games Session Chair: Cathy Meadows A Formal Analysis of Syverson's Rational Exchange Protocol Levente Buttyan, Jean-Pierre Hubaux and Srdjan Capkun (EPFL) Game Analysis of Abuse-free Contract Signing Steve Kremer and Jean-François Raskin (Université Libre de Bruxelles)
12:00 - 2:00	Lunch
2:00 - 3:30	Language-based security Session Chair: Andrei Sabelfeld Fine-grained Information Flow Analysis for a Lambda-Calculus with Sum Types Vincent Simonet (INRIA) Cryptographic Types Dominic Duggan (Stevens Institute) Secure Information Flow and Pointer Confinement in a Java-like Language Anindya Banerjee (Kansas State University) and David A. Naumann (Stevens Institute)
3:30 - 4:00	Break
4:00 - 5:00	Business meeting

WEDNESDAY June 26, 2001

9:00 - 10:30	Distributed Rights, Access Control, and Watermarking Session Chair: Jonathan Millen A Privacy Policy Model for Enterprises Guenter Karjoth and Matthias Schunter (IBM Zurich) A Logic for Reasoning about Digital Rights Riccardo Pucella and Vicky Weissman (Cornell) Hiding Functions and Computational Security of Image Watermarking Systems Nicholas Tran (Santa Clara)
10:30 - 11:00	Break
11:00 - 12:00	Information flow II Session Chair: Roberto Gorrieri Information Flow Security in Dynamic Contexts Riccardo Focardi and Sabina Rossi (University of Venice) A Simple View of Type-Secure Information Flow in the pi-Calculus François Pottier (INRIA)
12:00 - 12:15	Closing remarks. Presentation of Croquet Awards Lunch