Call for Papers and Panels
22nd IEEE Computer Security Foundations Symposium

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

Topics

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

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.

Important Dates

Papers due:	Friday, February 6, 2009 11:59pm Samoa time
Panel proposals due:	Thursday, March 6, 2009
Notification:	Monday, March 30, 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 Guttman

Gavin Lowe Jon Millen John Mitchell Andrew Myers Andrei 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. 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.

Submit papers using the CSF-22 EasyChair Page.

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

CSF's popular tradition of a session of 5-minute talks will continue this year. To offer a 5-minute talk, send a 1-page text abstract to Anupam Datta (danupam@cmu.edu) by June 20, 2009. Short talks may be trailers for longer presentations at one of the affiliated workshops, or stand entirely on their own. Abstracts will be made available electronically but not published in the conference proceedings. Provocative and programmatic presentations are welcome! Note that speakers in this session must be registered for CSF.

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

Last modified: 26 May 2009