2005 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS
Workshop on Issues
in the Theory of Security (WITS'05)
January 10-11, 2005, Long Beach, California
co-located with POPL'05
OVERVIEW OF WITS
WITS is the official workshop organised by the IFIP WG 1.7
on "Theoretical Foundations of Security Analysis and Design", established
to promote the investigation on the theoretical foundations of security,
discovering and promoting new areas of application of theoretical techniques
in computer security and supporting the systematic use of formal techniques
in the development of security related applications. The members of WG hold
their annual workshop as an open event to which all researchers working on
the theory of computer security are invited. This is the fourth workshop
of the series. We are sponsored by ACM
SIGPLAN, and plan to be organized in cooperation with GI working group FoMSESS. Proceedings
from of the workshop will be published in the ACM Digital Library.
We are also planning a special issue of the Journal of Computer Security
on the workshop.
The call for papers for WITS may be found at http://chacs.nrl.navy.mil/wits05cfp
WITS PRELIMINARY PROGRAM:
Monday, January 10
Lunch: 12:30 - 2:00 PM
Session 1: 2:00 - 3:30 PM
Opening Remarks
Catherine Meadows and Jan Jürjens
Invited Talk: Distributed System
Security via Logical Frameworks
Frank Pfenning, CMU
Session 2: 4:00 - 6:00 PM Chair:
TBA
Handling Declared Information
Leakage
Rachid Echahed, Frédéric Prost, Leibniz-IMAG
Policy Framings for Access Control
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari,
Dipartimento di Informatica - Universita' di Pisa
Specifying Kerberos 5 Cross-Realm Authentication
Iliano Cervesato, Aaron Jaggard, Tulane University,
Andre Scedrov, Christopher Walstad, University of Pennsylvania
Tuesday, January 11
Session 3: 8:30- 10:00 AM Chair:
Jan Jürjens
Using Static Analysis to Validate
the SAML Single Sign-On Protocol
Steffen Hansen, Jakob Skriver, Hanne Riis Nelson, University
of Denmark
Inferring Authentication Tags
Riccardo Focardi, Matteo Maffei, Francesco Placella, University
of Venice
Session 4: 11:00 - 12:30 PM
Chair: Peter Ryan
Statically Checking Confidentiality
via Dynamic Labels
Bart Jacobs, Wolter Pieter, Martijn Warnier, University Nijmegen
Enterprise Privacy Promises and Enforcement
Adam Barth and John Mitchell, Stanford University
Session 5: 2:00 -2:45 PM Chair:
Catherine Meadows
Invited Talk: Some Issues in the Theory of Cryptographic Sealing
Martin Abadi, UCSC
Session 6: 3:15 - 4:45 PM
Chair: TBA
A Variant of the Chaum Voter-Verifiable
Scheme
Peter Ryan, University of Newcastle
Formal Simulation of Layer 3 Accounting
Alwyn Goodloe, Carl Gunter, University of Pennsylvania,
Mark-Oliver Stehr, University of Illinois
IFIP WG 1.7 Business Meeting: 4:45 - 6:00
PM
Contact people :
Catherine Meadows
Workshop Chair
US Naval Research Laboratory
email: wits05chair@itd.nrl.navy.mil
Jan Jürjens
Workshop Vice Chair
TU München
email: wits05@in.tum.de
Pierpaolo Degano, U, Pisa,
Italy
Dieter Gollmann, TU Harburg, Germany
Roberto Gorrieri, U. Bologna, Italy
Joshua Guttman, MITRE, USA
Jan Jürjens, TU München, Germany
Gavin Lowe, Oxford, UK
Heiko Mantel, ETH, Switzerland
John Mitchell, Stanford, USA
Peter Ryan, U. of Newcastle, UK
Jean-Jacques Quisquater, UCL, Belgium
Steve Schneider, University of Surrey, UK
Paul Syverson, NRL, USA
Thomas Wilke, University of Kiel, Germany
The appearance of external hyperlinks
does not constitute endorsement by the United States Department of Defense,
the United States Department of the Navy and The Naval Research Laboratory
of the linked web sites, or the information, products or services contained
therein. For other than authorized activities such as military exchanges and
Morale, Welfare and Recreation (MWR) sites, the United States Department of
Defense, the Department of the Navy and The Naval Research Laboratory does
not exercise any editorial control over the information you may find at these
locations. Such links are provided consistent with the stated purpose of
this DoD web site.
PRIVACY AND SECURITY
NOTICE