[New: CSF is now an IEEE symposium.]

Call For Papers

20th IEEE Computer Security Foundations Symposium (CSF) Venice, Italy, July 6 - 8, 2007

Sponsored by the Technical Committee on Security and Privacy of the IEEE Computer Society

CSF20 website: http://www.dsi.unive.it/CSF20/ CSF home page: http://www.ieee-security.org/CSFWweb/ CSF CFP: http://www.cs.chalmers.se/%7Eandrei/CSF07/cfp.html

The IEEE Computer Security Foundations (CSF) series brings together researchers in computer science to examine foundational issues in computer security. Over the past two decades, many seminal papers and techniques have been presented first at CSF. The CiteSeer Impact page (http://citeseer.ist.psu.edu/impact.html ) lists CSF as 38th out of more than 1200 computer science venues in impact (top 3.11%) based on citation frequency.

Notice: This event was previously known as IEEE Computer Security Foundations Workshop (CSFW). We are proud to announce that it has been upgraded to IEEE Symposium starting from this 20th edition.

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 welcome as well as papers. Possible topics include, but are not limited to:

Authentication Access control Distributed systems Information flow Trust and trust security Security management Security for mobile protocols Security models computing Anonymity and Intrusion Executable content Privacy detection Decidability and Electronic voting Data and system complexity Network security integrity Formal methods for Resource usage Database security security control Language-based security

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: Monday, February 5, 2007 Panel proposals due: Thursday, March 15, 2007 Notification: Monday, March 26, 2007 Camera-ready papers: Friday, April 27, 2007 Symposium: July 6-8, 2007

Program Committee

Tuomas Aura, Microsoft Research, UK Michael Backes, Saarland University, Germany Bruno Blanchet, ENS, France Iliano Cervesato, Carnegie Mellon University, Qatar George Danezis, K.U.Leuven, Belgium Herve Debar, France Telecom, France Riccardo Focardi, University of Venice, Italy Dieter Gollmann, Hamburg University of Technology, Germany Carl A. Gunter, University of Illinois at Urbana-Champaign, USA Joshua Guttman, MITRE, USA Masami Hagiya, University of Tokyo, Japan Jonathan Herzog, Naval Postgraduate School, USA Ninghui Li, Purdue University, USA Cathy Meadows, NRL, USA Jonathan Millen, MITRE, USA John Mitchell, Stanford University, USA Flemming Nielson, Technical University of Denmark, Denmark Riccardo Pucella, Northeastern University, USA Andrei Sabelfeld, Chalmers University of Technology, Sweden (chair) Pierangela Samarati, University of Milan, Italy Ravi Sandhu, George Mason University and TriCipher, USA Andre Scedrov, University of Pennsylvania, USA Vitaly Shmatikov, University of Texas at Austin, USA Geoffrey Smith, Florida International University, USA Steve Zdancewic, University of Pennsylvania, USA

Symposium Location

The 20th IEEE Computer Security Foundations Symposium will be held in the facilities of Venice International University, located on the island of San Servolo, about 10 minutes by water ferry from the Piazza San Marco.

Instructions for Participants

Although submission is open to anyone, attendance is by invitation. All authors of accepted papers are invited to attend, and authors are required to ensure that at least one will be present. This year's meeting location will allow us to invite more participants than previous years.

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 Postscript or 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 in this style should be at most 12 pages long, not counting bibliography and well-marked appendices. Alternatively, papers can be in Springer LLNCS style. In LLNCS style papers must be at most 20 pages long excluding the 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.

The paper submission website will be open in January 2007.

Proposals for panels are also welcome. They should be no more than five pages in length and should include 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 by March 15, 2007.

A session of five-minute talks was successful in the last two years, so we are likely to have one again in 2007. Abstracts will be solicited in May.

There are PDF and HTML versions of this call for papers at http://www.cs.chalmers.se/%7Eandrei/CSF07/cfp.html . For further information contact:

+-----------------------------------------------------------------+ |General Chair |Program Chair |Publications | | | |Chair | |-----------------------+------------------ +-------------------| |Riccardo Focardi |Andrei Sabelfeld |Jonathan Herzog | |Universita di |Chalmers |Computer Science | |Venezia, Informatica |University of |Naval Postgraduate | |Via Torino 155 |Technology |School | |I-30172 Mestre (Ve), |41296 Gothenburg, |Monterey CA, 93943 | |Italy |Sweden |USA | |+39 041 2348 438 |+46 31 772 1000 |+1 831 656 3990 | |focardi AT dsi.unive.it|andrei AT chalmers.se|jcherzog AT nps.edu| +-----------------------------------------------------------------+