Call for papers
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 | Distributed systems security | Language-based security |
Anonymity and Privacy | Electronic voting | Network security |
Authentication | Executable content | Resource usage control |
Data and system integrity | Formal methods for security | Security for mobile computing |
Database security | Information flow | Security models |
Data provenance | Intrusion detection | Security protocols |
Decidability and complexity | Hardware-based security | 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: | 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 (co-chair), Saarland U and MPI-SWS | Patrick McDaniel, Penn State |
Gilles Barthe, IMDEA | Cathy Meadows, NRL |
Lujo Bauer, CMU | John Mitchell, Stanford U |
David Basin, ETH | Greg Morrisett, Harvard U |
Michael Clarkson, Cornell U | Catuscia Palamidessi, INRIA |
Stephanie Delaune, CNRS | Alejandro Russo, U Chalmers |
Riccardo Focardi, U Venice | Paul Syverson, NRL |
Cedric Fournet, Microsoft Research | Nikil Swamy, Microsoft Research |
Joshua Guttman, WPI | Dominique Unruh, Saarland U |
Boris Köpf, IMDEA | Steve Zdancewic (co-chair), U Penn |
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. To prepare your submission using LaTeX you should use the files IEEE_CS_Latex8.5x11x2.zip and instruct8.5x11x2.pdf and begin your document with
\documentclass[10pt, conference, compsocconf]{IEEEtran}
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
http://www.infsec.cs.uni-saarland.de/csf2011/
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-pcchairs@mail-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.
Contacts
General Chair | Program Chairs | Publications Chair |
Steve Kremer | Michael Backes | Jonathan Herzog |
INRIA and | Department of Computer Science | MIT Lincoln Labs |
LSV, CNRS & ENS Cachan | Saarland University and MPI-SWS | Lexington, MA, USA |
France | Saarbrücken, Germany | jherzog@ll.mit.edu |
kremer@lsv.ens-cachan.fr | ||
Steve Zdancewic | ||
Department of Computer Science | ||
University of Pennsylvania | ||
csf11-pcchairs@mail-infsec.cs.uni-saarland.de |