WITS'02: Preliminary Program

Monday, 14 January 2002
 8:30BREAKFAST
 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:30BREAKFAST
 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:30BREAK
 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:30LUNCH
 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:30BREAK
 16:00 Panel: WITS 2002 Retrospective
  • Innovations and Open Problems
  • Participants:
    IFIP WG 1.7 Members