IEEE Computer Security Foundations (CSF 22) : Call for Papers

 	Call For Papers and Panels
22nd IEEE Computer Security Foundations Symposium (CSF 22)
<http://www.cs.sunysb.edu/csf09/> 
July 8-10, 2008
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, 2008 	
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 	Program Chair 	Publications Chair 	
Scott D. Stoller 
Computer Science Dept. 
Stony Brook University 
Stony Brook, NY 11794-4400 
+1 631 632 1627 
stoller AT cs.stonybrook.edu 	John C Mitchell 
Dept Computer Science 
Stanford University 
Stanford, CA 94305 

mitchell AT cs.stanford.edu 	Jonathan Herzog 
Basho Technologies 
196 Broadway, 
Cambridge, MA 02139 
617-714-1746 
jherzog AT basho.com