[TYPES/announce] 2nd CFP: 24th IEEE Computer Security Foundations Symposium (CSF 2011)

[Matteo Maffei]

Our apologies for cross-posting.

==========================================================

 24th IEEE Computer Security Foundations Symposium
 CSF 2011

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

 http://csf2011.inria.fr

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

 Anonymity and Electronic voting Network security
 Privacy

 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

 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

 PC-chairs:
 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
 to csf11-chairs at 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:
 Steve Kremer
 LSV, CNRS & ENS de Cachan
 61, av. du President Wilson
 94235 Cachan Cedex, France
 kremer at lsv.ens-cachan.fr


 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

 csf11-pcchairs at infsec.cs.uni-saarland.de

 Publications Chair:
 Jonathan Herzog
 MIT Lincoln Labs
 Lexington, MA, USA 196 Broadway,
 jherzog at ll.mit.edu