Call For Papers
19th IEEE Computer Security Foundations Workshop (CSFW 19)July 5 - 7, 2006
Venice, Italy
Sponsored by the Technical Committee on Security and Privacy
of the IEEE Computer Society
|
Call For Papers19th IEEE Computer Security Foundations Workshop (CSFW 19)July 5 - 7, 2006 Venice, Italy Sponsored by the Technical Committee on Security and Privacy of the IEEE Computer Society |
|
Web site for submission now open, abstracts due by 30
January 2006.
Submission URL: http://plt.cs.brown.edu:8080/servlets/csfw06/continue.ss?request-account
For nearly two decades, CSFW has brought together a small group of researchers to examine foundational issues in information security. Many seminal papers and techniques were first presented at CSFW.
We are interested in new theoretical results in computer security, but
also in more exploratory presentations. Exploratory work 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
Information flow Security protocols Anonymity and Privacy Electronic voting Network security Resource usage control |
Access control
Trust and trust management Security models Intrusion detection Data and system integrity Database security |
Distributed systems security
Security for mobile computing Executable content Decidability and complexity Formal methods for security Language-based security |
|
Michael Backes, IBM Research
David Basin, ETH Zurich Bruno Blanchet, ENS Gérard Boudol, INRIA Ran Canetti, IBM Research Véronique Cortier, LORIA Pierpaolo Degano, Pisa Sandro Etalle, Twente Riccardo Focardi, Venice Andrew Gordon, Microsoft Research Joshua Guttman, MITRE (Chair) Matthew Hennessy, Sussex |
Alan Jeffrey, Bell Labs
Gavin Lowe, Oxford Jonathan Millen, MITRE John Mitchell, Stanford Andrew Myers, Cornell Michael Rusinowitch, LORIA Mark Ryan, Birmingham Andrei Sabelfeld, Chalmers Andre Scedrov, Pennsylvania Steve Schneider, Surrey Vitaly Shmatikov, Texas Lenore Zuck, Illinois/Chicago |
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 2006.
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 be email to the program chair by 10 March 2006.
A session of five-minute talks was successful last year, so we will have one again this year. Abstracts will be solicited in May.
There
are PDF and plain text
versions of this call for papers. For further information contact:
| General Chair | Program Chair | Publications Chair |
| Riccardo Focardi
Università di Venezia, Informatica Via Torino 155 I-30172 Mestre (Ve), Italy +39 041 2348438 focardi@dsi.unive.it | Joshua Guttman
The MITRE Corporation 202 Burlington Rd Bedford, MA 01730 USA +1 781 271 2654 guttman@mitre.org | Jonathan Herzog
The MITRE Corporation 202 Burlington Rd Bedford, MA 01730 USA +1 781 271 7281 jherzog@mitre.org |