Final CFP: WITS '02

Title: WITS '02 final call for papers

Final Call for Papers

Workshop  on Issues in the Theory of Security (WITS '02)

Portland Oregon, USA
January 14-15 2002
Co-located with POPL '02,
the 29th Annual ACM Symposium
on Principles of Programming Languages
(January 16-18 2002)



The IFIP WG 1.7 on "Theoretical Foundations of Security Analysis and Design" was established to investigate the theoretical foundations of security. It aims to discover and promote new ways to apply theoretical techniques in computer security, and to support the systematic use of formal techniques in the development of security related applications.

The workshop of Working Group 1.7 is an open event. All researchers working on the theory of computer security are invited. WITS '02 is the second workshop, the first having been held in Geneva in July 2000 (WITS'00).

The program will encourage discussions by all attendees, both during and after scheduled presentations, on participants' ongoing work. Extended abstracts of work presented at the Workshop will be collected before the workshop and distributed to the participants. As in 2000, there will be no formally published proceedings of this year's workshop; however, selected papers will be invited for submission to a special issue of the Journal of Computer Security based on the Workshop.


Researchers are invited to submit extended abstracts of original work on topics in the spirit of the workshop. Possible topics for submitted papers include, but are not limited to:


Pierpaolo Degano,  Università di Pisa
Riccardo Focardi,  Università di Venezia
Dieter Gollmann,  Microsoft Research
Li Gong,  JavaSoft, Sun Microsystems
Roberto Gorrieri,  Università di Bologna
Joshua Guttman (chair),  MITRE
Cathy Meadows,  Naval Research Laboratory
Jon Millen,  SRI International
Peter Ryan,  SEI, Carnegie Mellon
Steve Schneider,  Royal Holloway, University of London
Paul Syverson,  Naval Research Laboratory


Authors are invited to submit an extended abstract, up to 5 pages long, with 11pt or larger font and reasonable margins and line spacing, through the web. Alternatively, they may e_mail a .ps file. If necessary, they may mail a single hard copy of their paper to the program chair; in the last case, please allow ample time for delivery.

Submissions may cover the same material as POPL '02 submissions. These abstracts should be marked "POPL co-submission", and will be considered by the WITS program committee only if rejected from POPL.

Submissions should have the author's full name, address, fax number, and e-mail address.


The workshop is co-located with the POPL '02 conference, which will be held at the Portland Marriott Downtown in Portland Oregon. Information on room rates, registration, etc. will be made available once they have been finalized in conjunction with POPL '02.


Web: http://www.dsi.unive.it/IFIPWG1_7/wits2002.html

Program chair: Joshua Guttman
Postal address:
      The MITRE Corporation, MS S119
      202 Burlington Rd.
      Bedford, MA 01730 USA
E-mail: guttman@mitre.org
Telephone: +1 781 271 2654
Fax: +1 781 271 8953

General chair: Paul Syverson
Postal address:
      Code 5543
      Naval Research Laboratory
      Washington DC 20375 USA
E-mail: syverson@itd.nrl.navy.mil
Telephone: +1 202 404 7931
Fax: +1 202 404 1167
Web: www.syverson.org

Back to WITS'02 home page