Call For Papers
		     19th IEEE Computer Security
		    Foundations Workshop (CSFW 19)
			   July 5 - 7, 2006
			    Venice, Italy
		      Sponsored by the Technical
		  Committee on Security and Privacy
		     of the IEEE Computer Society

CSFW-19 website:
CSFW home page: 

For nearly two decades, CSFW has brought together a small group of
researchers to examine foundational issues in information
security. Many seminal papers and techniques were first presented at

We are interested in new theoretical results in computer security, but
also in more exploratory presentations. Exploratory work may examine
open questions and raise fundamental concerns about existing
theories. Panel proposals are welcome as well as papers. Possible
topics include, but are not limited to:

  Authentication    Access control    Distributed systems  
  Information flow  Trust and trust   security             
  Security          management        Security for mobile  
  protocols         Security models   computing            
  Anonymity and     Intrusion         Executable content   
  Privacy           detection         Decidability and     
  Electronic voting Data and system   complexity           
  Network security  integrity         Formal methods for   
  Resource usage    Database security security             
  control                             Language-based       

This year's CSFW will be held in Venice. Proceedings published by the
IEEE Computer Society Press will be available at the workshop, and
selected papers will be invited for submission to the Journal of
Computer Security. The CiteSeer Impact page
(, compiled in 2003) lists CSFW
as 38th out of 1200 venues in impact (3.11%) based on citation

Important Dates

   o Submit title and abstract:		30 January 2006 
	    (The deadline for abstracts is strict.)
   o Submit full paper:			3 February 2006 
   o Submit panel proposal: 10 March 2006
   o Notification of acceptance: 20 March 2006
   o Camera-ready papers: 11 April 2006
   o Workshop: 5--7 July 2006

Program Committee

 Michael Backes, IBM Research		Alan Jeffrey, Bell Labs     
 David Basin, ETH Zurich		Gavin Lowe, Oxford          
 Bruno Blanchet, ENS			Jonathan Millen, MITRE      
 Gérard Boudol, INRIA			John Mitchell, Stanford     
 Ran Canetti, IBM Research		Andrew Myers, Cornell       
 Véronique Cortier, LORIA		Michael Rusinowitch, LORIA  
 Pierpaolo Degano, Pisa			Mark Ryan, Birmingham       
 Sandro Etalle, Twente			Andrei Sabelfeld, Chalmers  
 Riccardo Focardi, Venice		Andre Scedrov, Pennsylvania 
 Andrew Gordon, Microsoft Research	Steve Schneider, Surrey 
 Joshua Guttman, MITRE (Chair)		Vitaly Shmatikov, Texas     
 Matthew Hennessy, Sussex		Lenore Zuck, Illinois/Chicago 

Workshop Location

The 19th IEEE Computer Security Foundations Workshop will be held in
the facilities of Venice International University, located on the
island of San Servolo, about 10 minutes by water ferry from the Piazza
San Marco. This year's workshop will be held a few days earlier than
ICALP ( ), in the same location.

Instructions for Participants

Although submission is open to anyone, attendance is by
invitation. All authors of accepted papers are invited to
attend, and authors are required to ensure that at least one
will be present. This year's meeting location will allow us
to invite more participants than previous years. ICALP
attendees or other scholars who would like to attend CSFW
are encouraged to contact the General Chair, Riccardo
Focardi, about invitations.

Submission Instructions

Submitted papers must not substantially overlap with papers
that have been published or that are simultaneously
submitted to a journal or a conference with published
proceedings. Papers should be submitted in Postscript or
Portable Document Format (PDF). Papers submitted in a
proprietary word processor format such as Microsoft Word
cannot be considered. At least one coauthor of each accepted
paper is required to attend CSFW-19 to present the paper.

Papers may be submitted using the two-column IEEE
Proceedings style available for various document preparation
systems at IEEE-CS Press. Papers in this style should be at
most 12 pages long, not counting bibliography and
well-marked appendices. Alternatively, papers can be in
Springer LLNCS style. In LLNCS style papers must be at most
20 pages long excluding the bibliography and well-marked

Committee members are not required to read appendices, and
so the paper must be intelligible without them. Papers not
adhering to the page limits will be rejected without
consideration of their merits.

The paper submission website will be open in January 2006.

Proposals for panels are also welcome. They should be no
more than five pages in length and should include possible
panelists and an indication of which of those panelists have
confirmed a desire to participate. They should be submitted
be email to the program chair by 10 March 2006.

A session of five-minute talks was successful last year, so
we will have one again this year. Abstracts will be
solicited in May.

There are PDF and HTML versions of this call for papers at . For further
information contact:

|General Chair        |Program Chair    |Publications     |
|                     |                 |Chair            |
|Riccardo Focardi     |Joshua Guttman   |Jonathan Herzog  |
|Università di        |The MITRE        |The MITRE        |
|Venezia, Informatica |Corporation      |Corporation      |
|Via Torino 155       |202 Burlington Rd|202 Burlington Rd|
|I-30172 Mestre (Ve), |Bedford, MA 01730|Bedford, MA 01730|
|Italy                |USA              |USA              |
|+39 041 2348438      |+1 781 271 2654  |+1 781 271 7281  |
| |||