24th IEEE Computer Security Foundations Symposium
                              CSF 2011

                     June 27th-June 29th 2011
            Domaine de l'Abbaye des Vaux-de-Cernay, France



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		Distributed systems 	Language-based security

Anonymity and		Electronic voting	Network security

Authentication		Executable content	Resource usage control

Data and system		Formal methods		Security for mobile
integrity 		for security		computing
Database security	Information flow	Security models

Data provenance		Intrusion detection	Security protocols

Decidability and	Hardware-based 		Trust and trust
complexity		security		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.

Important Dates

Papers due: Wednesday, February 9, 2011, 11:59pm Eastern Standard Time
Panel proposals due: Monday, March 14, 2011
Notification: Friday, March 25, 2011
Symposium: June 27 - 29, 2011

Program Committee

Michael Backes, Saarland U and MPI-SWS
Steve Zdancewic, U Penn

PC members:
Gilles Barthe, IMDEA           Patrick McDaniel, Penn State
Lujo Bauer, CMU                Cathy Meadows, NRL
David Basin, ETH               John Mitchell, Stanford U
Michael Clarkson, Cornell U    Greg Morrisett, Harvard U
Stephanie Delaune, CNRS        Catuscia Palamidessi, INRIA
Riccardo Focardi, U Venice     Alejandro Russo, U Chalmers
Cedric Fournet, MSR            Paul Syverson, NRL
Joshua Guttman, WPI            Nikil Swamy, MSR
Boris Koepf, IMDEA             Dominique Unruh, Saarland U

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. Failure to clearly identify any
duplication or overlap with other published or submitted papers is
ground for rejection without full review.

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 2011 submission site (online soon).

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
tocsf11-chairs@infsec.cs.uni-saarland.de by June 20, 2011. 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.


General Chair:
Steve Kremer
LSV, CNRS & ENS de Cachan
61, av. du President Wilson
94235 Cachan Cedex, France

Program Chairs:
Michael Backes
Department of Computer Science
Saarland University and MPI-SWS
Saarbr├╝cken, Germany

Steve Zdancewic
Department of Computer Science
University of Pennsylvania


Publications Chair:
Jonathan Herzog
Basho Technologies
196 Broadway,
Cambridge, MA 02139