Call For Papers
			      18th IEEE
		Computer Security Foundations Workshop
			      (CSFW 18)

			  June 20 - 22, 2005

		       Aix-en-Provence, France
			   Sponsored by the
	     Technical Committee on Security and Privacy,
			IEEE Computer Society

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 CSFW.

We are interested both in new theoretical results in
computer security and also in more exploratory presentations
that 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 security 
 Information flow  Trust and trust   Security for mobile computing
 Security           management       Executable content
  protocols        Security models   Decidability and complexity
 Anonymity and     Intrusion         Formal methods for security    
  privacy           detection	     Language-based security
 Electronic voting Data and system                
 Network security   integrity              
                   Database security                

For background information, see the CSFW home page. This
year's workshop will be held in Aix-en-Provence,
France. Proceedings published by the IEEE Computer Society
Press will be available at the workshop. Selected papers
will be invited for submission to the Journal of Computer

Important Dates

 Submission deadline:        28 January 2005  
 Notification of acceptance: 11 March 2005    
 Camera-ready papers:        4 April 2005     
 Workshop:                   20--22 June 2005 

Program Committee

 Bruno Blanchet, ENS, FR           Thomas Jensen, IRISA/CNRS, FR 
 Ran Canetti, IBM, USA             Gavin Lowe, Oxford, UK 
 Hubert Comon-Lundh, ENS,          Nancy Lynch, MIT, USA               
   Cachan, FR                      Jonathan Millen, MITRE, USA         
 Pierpaolo Degano, Pisa, IT        John Mitchell, Stanford, USA 
 CÚdric Fournet,                   Peter Ryan, Newcastle, UK           
   Microsoft Research, UK          Andrei Sabelfeld, Chalmers, SE      
 Dieter Gollmann, TU               Vladimiro Sassone, Sussex, UK       
   Harburg, DE                     Andre Scedrov, U. Pennsylvania, USA
 Roberto Gorrieri,                 Vitaly Shmatikov, U. Texas, USA 
   Bologna, IT                     Grant Wagner, National Security     	 
 Joshua Guttman (chair),             Agency, USA                       	 
   MITRE, USA                      Steve Zdancewic, U. Pennsylvania, USA 
 Chris Hankin, Imperial            Lenore Zuck, U. Illinois/Chicago, USA 
   College, UK 

Workshop Location

The 18th IEEE Computer Security Foundations Workshop will be
held in the Aquabella Hotel, located in the historical
center of Aix, next to the thermal baths of Roman
origin. Guests have access to the baths and to the exercise

Aix (pronounced ecks) was founded as Aquae Sextia in the
year 122 BC. In 1182, the Counts of Provence took Aix as
their home, and the city was known for its refined and
literate court. In 1409, a university was founded by Louis
XI that counts nowadays 40000 students. The city still
radiates the joie de vivre and gentle grace of a medieval
town. The city offers a number of markets and small museums
including CÚzanne's Atelier. In July, the city hosts a
major opera festival.

Aix is 30 minutes by shuttle from the Marseille-Provence
Airport which offers direct connections to most European
hubs. Fast trains (TGV) run from Paris to Aix in three and a
half hours.

Instructions for Participants

Submission is open to anyone. Workshop attendance is limited
to about 50 participants, including authors of accepted
papers. Submitted papers must not substantially overlap
papers that have been published or that are simultaneously
submitted to a journal or a conference with proceedings.

Papers should 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. Committee members are not required
to read the appendices, and so the paper should be
intelligible without them. 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
appendices. The page limit will be strictly adhered to.

Click URL to submit a paper. (Available soon) If for any
reason you cannot conform to those submission guidelines,
please contact the program chair. 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 expected to attend CSFW-18 to
present the paper.

Proposals for panels should be no more than five pages in
length and should include possible panelists and an
indication of which of those panelists have confirmed

Additional Information

HTML and PDF versions of this call for papers are available at

For further information contact:

|General Chair         |Program Chair    |Publications     |
|                      |                 |Chair            |
|Roberto Amadio        |Joshua Guttman   |Jonathan Herzog  |
|CMI, 39 rue           |The MITRE        |The MITRE        |
| Joliot-Curie         |Corporation      |Corporation      |
|13453, Marseille Cedex|202 Burlington Rd|202 Burlington Rd|
| 13                   |Bedford, MA 01730|Bedford, MA 01730|
|France                |USA              |USA              |
|+33 4 91 11 36 14     |+1 781 271 2654  |+1 781 271 7281  |