Call For Papers and Panels
      22nd IEEE Computer Security Foundations Symposium (CSF 22)
		  http://www.cs.sunysb.edu/csf09/

			   July 8-10, 2009
		    Port Jefferson, New York, USA
     Sponsored by the Technical Committee on Security and Privacy
		     of the IEEE Computer Society


The IEEE Computer Security Foundations
http://www.ieee-security.org/CSFWweb/ (CSF) series brings together
researchers in computer science to examine foundational issues in
computer security. Over the past two decades, many seminal papers and
techniques have been presented first at CSF. CiteSeer
http://citeseer.ist.psu.edu/impact.html lists CSF as 38th out of
more than 1200 computer science venues (top 3.11%) in impact based on
citation frequency. CiteSeerX
http://citeseerx.ist.psu.edu/stats/venues?y=2007 lists CSF 2007 as
7th out of 581 computer science venues (top 1.2%) in impact based on
citation frequency.  

New theoretical results in computer security are
welcome. Also welcome are more exploratory presentations, which may
examine open questions and raise fundamental concerns about existing
theories. Panel proposals are sought as well as papers. Possible
topics include, but are not limited to: 

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

While CSF welcomes submissions beyond these topics, note that the main
focus of CSF is foundational security: submissions that lack
foundational aspects risk rejection.

Proceedings, published by the IEEE Computer Society Press, will be
available at the symposium, and selected papers will be invited for
submission to the Journal of Computer Security
http://www.mitre.org/public/jcs/ .  

Important Dates 
Papers due: Friday, February 6, 2009
Panel proposals due: Thursday, March 6, 2009
Notification: Friday, March 27, 2009 
Camera-ready papers: Friday, Apr 24, 2009
Symposium: July 8-10, 2009

Program Committee 
Martin Abadi
Michael Backes
Bruno Blanchet
Veronique Cortier
Anupam Datta
Philippa Gardner
Andrew D Gordon
Joshua Gutmann
Gavin Lowe
Jon Millen
John C Mitchell
Andrew Myers 
Andre Sabelfeld 
Pierangela Samarati
Vitaly Shmatikov
Scott D Stoller

Paper 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
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 CSF 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 ftp://pubftp.computer.org/Press/Outgoing/proceedings/ .
Papers should be at most 12 pages long, not counting bibliography
and well-marked appendices.

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.

Electronic submission instructions will be posted on the CSF-22 web
site and through additional announcements prior to the submission
date.

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

Five-minute Talks
A session of five-minute talks was successful in the last four years,
so we are likely to have one again in 2009. Abstracts will be
solicited around May.

Contacts
General Chair:
Scott D. Stoller 
Computer Science Dept. 
Stony Brook University 
Stony Brook, NY 11794-4400 
+1 631 632 1627 
stoller AT cs.stonybrook.edu

Program Chair:
John C Mitchell 
Dept Computer Science 
Stanford University 
Stanford, CA 94305 
mitchell AT cs.stanford.edu 	

Publications Chair:
Jonathan Herzog 
Basho Technologies 
196 Broadway, 
Cambridge, MA 02139 
617-714-1746 
jherzog AT basho.com