[TYPES/announce] CFP: 25th IEEE Computer Security Foundations Symposium (CSF 2012)

Matteo Maffei maffei at cs.uni-saarland.de
Thu Oct 6 09:28:21 EDT 2011

CSF 2012 Call for Papers and Panels
25th IEEE Computer Security Foundations Symposium


June 25 - 27, 2012
Harvard University, Cambridge MA, USA

The Computer Security Foundations Symposium is an annual conference
for researchers in computer security, to examine current theories of
security, the formal models that provide a context for those theories,
and techniques for verifying security.

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, Data provenance, Decidability and
complexity, Distributed systems security, Electronic voting,
Executable content, Formal methods for security, Information flow,
Intrusion detection, Hardware-based security, Language-based security,
Network security, Resource usage control, Security for mobile
computing, Security models, Security protocols, Trust and trust

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.


Workshop proposal: November 15th, 2011
Papers due: February 9, 2012, 11:59pm Eastern Standard Time
Panel proposals due: March 14, 2012
Notification: March 29, 2012
Symposium: June 25 - 27, 2012


Martín Abadi, Microsoft Research & Univ. of Santa Cruz, USA
Michael Clarkson, The George Washington Univ., USA
Véronique Cortier (co-chair), CNRS Nancy, France
Anupam Datta, Carnegie Mellon Univ., USA
Joan Feigenbaum, Yale Univ., USA
Riccardo Focardi, Univ. of Venice, Italy
Cedric Fournet, Microsoft Research, UK
Deepak Garg, MPI-SWS, Germany
Steve Kremer, INRIA Nancy, France
Ralf Küsters, Univ. of Trier, Germany
Matteo Maffei, Univ. of Saarland, Germany
Catuscia Palamidessi, INRIA Saclay, France
Pierangela Samarati, Univ. of Milano, Italy
Vitaly Shmatikov, Univ. of Texas, USA
Nikhil Swamy, Microsoft Research, USA
Alwen Tiu, Australian National Univ., Australia
Dominique Unruh, Univ. of Tartu, Estonia
Steve Zdancewic (co-chair), Univ. of Penn, USA


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 the IEEE
Conference Publishing Services page. 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.

Papers should be submitted using the CSF 2012 submission site.


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

PC Chairs
Véronique Cortier, CNRS Nancy, France
Steve Zdancewic, Univ. of Penn, USA

General Chair	
Stephen Chong, Harvard University, USA

Publications Chair
Deepak Garg, Max Planck Institute for Software Systems, Germany

More information about the Types-announce mailing list