28th IEEE Computer Security Foundations Symposium

http://csf2015.di.univr.it/
July 14 - 17, 2015
Verona, Italy

The Computer Security Foundations Symposium is an annual conference
for researchers in computer security. CSF seeks papers on foundational
aspects of computer security, such as formal security models,
relationships between security properties and defenses, principled
techniques and tools for design and analysis of security mechanisms,
as well as their application to practice. While CSF welcomes
submissions beyond the topics listed below, the main focus of CSF is
foundational security: submissions that lack foundational aspects risk
rejection.

This year, CSF will use a light form of double blind reviewing; see
below.

Topics
------
New results in computer security are welcome. We also encourage
challenge/vision papers, which may describe open questions and raise
fundamental concerns about security. Possible topics for all papers
include, but are not limited to: access control, accountability,
anonymity, authentication, critical infrastructure security,
cryptography, data and system integrity, database security,
decidability and complexity, distributed systems, electronic voting,
executable content, formal methods and verification, game theory and
decision theory, hardware-based security, humans and computer
security, information flow, intrusion detection, language-based
security, network security, novel insights on attacks, privacy,
provenance, resource usage control, security for mobile computing,
security models, security protocols, software security,
socio-technical security, trust management, usable security, web
security.

Special Sessions
----------------
This year, we strongly encourage papers in three foundational areas of
research we would like to promote at CSF:

PRIVACY. (Chair: Catuscia Palamidessi.) CSF 2015 will include a
special session on privacy foundations and invites submissions on
definitions, models, and frameworks for communication and data
privacy, principled analysis of deployed or proposed privacy
protection mechanisms, and foundational aspects of practical privacy
technologies. We especially encourage submissions aiming at
connecting the computer science point of view on privacy with that
of other disciplines (law, economics, sociology,...)
VOTING. (Chair: Olivier Pereira.) CSF 2015 will include a special
session on voting technologies and invites submissions on
definitions, models and analysis of voting systems or their
components, including (but not limited to) vote authentication
mechanisms, ballot tallying techniques, election verifiability and
audit techniques, election problem recovery. As several countries
are currently looking for the adoption of voting systems with
enhanced security features, submissions that inform on deployed
voting systems or propose original approaches for the design or
improvement of voting systems are both welcome.

SECURE SYSTEMS. (Chair: Frank Piessens.) The need for principled
secure systems is higher than ever, with Internet connectivity
extending its reach from servers and desktops to mobile devices, and
(sometimes tiny) embedded systems. Interesting new security designs
are being studied at all system layers, from protected module
architectures at the hardware level to language based software
security. CSF 2015 invites submissions of papers that study
foundational aspects of such designs and the relations between them,
including papers on hardware and/or software security architectures,
policy enforcement mechanisms, secure programming languages, secure
compilation, and operating system or browser security.

These papers will be reviewed under the supervision of the special
session chairs. They will be presented at the conference, and will
appear in the CSF proceedings, without any distinction from the other
papers.

Proceedings, published by the IEEE Computer Society Press (pending
approval), will be available at the symposium, and selected papers
will be invited for submission to the Journal of Computer Security.

*****************************************************
IMPORTANT DATES

Papers due: February 10, 2015, 11:59pm EST
Author response period: March 23-24, 2015, ending at 11:59pm EST
Notification: April 6, 2015
Camera ready: May 9, 2015
Symposium: July 14--17, 2015

*****************************************************
PROGRAM COMMITTEE

Michele Bugliesi, Universita Ca Foscari Venezia
Jason Crampton, Royal Holloway
Cas Cremers, University of Oxford
Ulfar Erlingsson, Google
Cedric Fournet, Microsoft Research (Program Co-Chair)
Deepak Garg, Max Planck Institute for Software Systems
Joshua Guttman, Worcester Polytechnic Institute and MITRE
Michael Hicks, University of Maryland (Program Co-Chair)
Sushil Jajodia, George Mason University
Boris Koepf, IMDEA Software Institute
Ralf Kuesters, University of Trier
Andrew Myers, Cornell University
David Naumann, Stevens Institute of Technology
Catuscia Palamidessi, INRIA (Area Chair on Privacy)
Olivier Pereira, UC Louvain (Area Chair on Voting)
Frank Piessens, KU Leuven (Area Chair on Secure Systems)
Tamara Rezk, INRIA
James Riely, DePaul University
Dave Sands, Chalmers University of Technology
Nikhil Swamy, Microsoft Research
Mudhakar Srivatsa, IBM T J Watson Center
Santiago Zanella Beguelin, MSR-INRIA
Jianying Zhou, Institute for Infocomm Research

*****************************************************
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.

Papers must be submitted using the two-column IEEE Proceedings style
available for various document preparation systems at the IEEE
Conference Publishing Services page. All 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.

Following the recent history of other top-quality conferences and
symposia in security, CSF'15 will employ a light form of double-blind
reviewing. To facilitate this, submitted papers must (a) omit any
reference to the authors' names or the names of their institutions,
and (b) reference the authors' own related work in the third person
(e.g., not "We build on our previous work ..." but rather "We build on
the work of ..."). Nothing should be done in the name of anonymity
that weakens the submission or makes the job of reviewing the paper
more difficult (e.g., important background references should not be
omitted or anonymized). Please see the conference site for answers to
frequently asked questions (FAQ) that address many common
concerns. When in doubt, contact the program chairs.

Papers failing to adhere to any of the instructions above will be
rejected without consideration of their merits.

Papers should be submitted in Portable Document Format (PDF) to the
CSF 2015 submission site:
https://csf15.hotcrp.com/.

Papers intended for one of the special sessions should select the
"Privacy", "Voting", or "Secure Systems" option, as appropriate.

At least one coauthor of each accepted paper is required to attend CSF
to present the paper.

*****************************************************
PC Chairs
Cedric Fournet, Microsoft Research
Michael Hicks, University of Maryland

General Chair
Luca Vigano, King's College, London

Publications Chair
Deepak Garg, Max Planck Institute for Software Systems

Publicity Chair
Matteo Maffei, CISPA, Saarland University