Monday, 14 January 2002
|
8:30 | BREAKFAST |
8:45 |
WELCOME |
9:00 |
Session I: Cryptographic Primitives and Protocol Analysis
- Completeness Theorems for the Abadi-Rogaway Language of Encrypted
Expressions (download ps.gz)
Daniele Micciancio, Bogdan Warinschi
- A Unification Algorithm for the Group Diffie-Hellman
Protocol (download ps.gz)
Cathy Meadows, Paliath Narendran
|
10:00 | BREAK |
10:30 |
Session II: Security Properties
- Defining Anonymity and Privacy (download ps.gz)
Vitaly Shmatikov, Dominic J.D. Hughes
- A Logic for Reasoning
about Digital Rights (download ps.gz)
Riccardo Pucella, Vicky Weissman
- A Security Property for
Processes in Dynamic Contexts (download ps.gz)
Riccardo Focardi, Sabina Rossi
- Deconstructing Trust Management (download ps.gz)
Ajay Chander, Drew Dean, John C. Mitchell
|
12:30 |
LUNCH |
14:00 |
Session III: Dolev-Yao-style Protocol Analysis
|
15:30 |
BREAK |
16:00 |
Panel: Survivability
- Participants:
Peter Ryan (chair)
Jay Lala
John McHugh
Gene Tsudik
|
17:30 |
IFIP WG 1.7 Meeting
|
Tuesday, 15 January 2002 |
8:30 | BREAKFAST |
9:00 |
Session IV: Non-interference and Probability
(Shared session with PEPM)
- Weak Probabilistic Bisimulation for
Secure Information Flow (download ps.gz)
Geoffrey Smith
- On the Extension of Non-interference
with Probabilities (download ps.gz)
Alessandro Aldini
- On Approximate Non-Interference (download ps.gz)
Alessandra Di Pierro, Chris Hankin, Herbert
Wiklicky
|
10:30 | BREAK |
11:00 |
Session V: Protocol Development
- Delegated Enforcement in Secure Protocols (download ps.gz)
Raphael Yahalom
- Cryptographic Types (download ps.gz)
Dominic Duggan
- Authentication Primitives for Refining
Protocol Specifications (download ps.gz)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi,
Corrado Priami
|
12:30 | LUNCH |
14:00 |
Session VI: Protocol Verification Methods
- Proving Correctness of the TESLA Multicase
Stream Authentication Protocol with TAME (download ps.gz)
Myla Archer
- A BRUTUS Logic for the Spi-Calculus (download ps.gz)
Stefania Gnesi, Diego Latella, Gabriele Lenzini
- Verification of Security Properties in
Electronic Payment Protocols (download ps.gz)
Maurizio Panti, Luca Spalazzi, Simone Tacconi
|
15:30 | BREAK |
16:00 |
Panel: WITS 2002 Retrospective
- Innovations and Open Problems
- Participants:
IFIP WG 1.7 Members
|