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

[Matteo Maffei]

CSF 2014 Call for Papers and Panels
27th IEEE Computer Security Foundations Symposium

http://csf2014.di.univr.it/
July 19 - 22, 2014
Vienna University of Technology (TU Wien)
part of FLoC 2014 - Federated Logic Conference
part of VSL 2014 - Vienna Summer of Logic - http://vsl2014.at/

*****************************************************

The Computer Security Foundations Symposium is an annual conference
for researchers in computer security. CSF seeks papers on foundational
aspects of computer security, e.g., 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.

Topics
------
New results in computer security are welcome. Possible topics 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 (NEW)
----------------------
We strongly encourage papers in three foundational areas of research
not traditionally represented at CSF:

 AI & SECURITY. (Chairs: Ariel Procaccia & Benjamin Rubinstein.)
 In recent years, a number of communities overlapping with AI---
 notably algorithmic economics and machine learning---have made
 significant forays into security & privacy. This session aims to
 collect theoretical viewpoints on security & privacy, particularly
 from researchers across diverse communities such as those
 identifying with AAAI/IJCAI, AAMAS, EC, WEIS, ICML, NIPS, COLT,
 STOC/FOCS, S&P, and CCS (including the AISEC workshop). Papers in
 the following areas intersecting with information security are
 highly encouraged to submit to this special session: Economics: Game
 theory, mechanism design, market design, social choice; Learning:
 Online learning, robust statistics, adversarial machine learning,
 privacy-preserving technologies such as differential privacy.

 PRIVACY. (Chair: Vitaly Shmatikov.) CSF 2014 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. Submissions investigating connections between privacy
 law and policy and computer science are especially encouraged.

 USABLE SECURITY. (Chair: Lujo Bauer.) It has become accepted that
 any user-facing security technology or mechanism is unlikely to be
 secure if it is not usable.  Hence, understanding, measuring, and
 designing for usability are foundational aspects of building secure
 systems.  CSF 2014 encourages submission of papers that describe new
 results, quantitative or qualitative, in usability as it pertains to
 security and privacy.  Particularly encouraged are papers that focus
 on foundational aspects of usability, as well as those whose results
 generalize beyond a specific environment or system.

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

Challenges and Vision Papers
----------------------------
We particularly encourage challenge/vision papers, which may describe
open questions and raise fundamental concerns about practical
security. Challenges and/or vision papers should typically identify a
real world security problem, argue why it raises foundational issues,
explain why the currently available and relevant techniques are
inadequate for addressing it, and identify foundational challenges
that have to be addressed to solve the problem.  These papers 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, will be
available at the symposium, and selected papers will be invited for
submission to the Journal of Computer Security.

*****************************************************
INVITED SPEAKERS

 Alessandro Acquisti, Carnegie Mellon University
 Gilles Barthe, IMDEA Software Institute
 Frank Piessens, K.U. Leuven

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

 Abstract due: February 3, 2014, 11:59pm Eastern Standard Time
 Papers due: February 10, 2014, 11:59pm Eastern Standard Time
 Author response period: March 20-21, 2014, ending at 11:59pm Eastern Standard Time
 Panel proposals due: March 15, 2014
 Notification: April 11, 2014
 Camera ready: May 9, 2014
 Symposium: July 19 - 22, 2014

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

   Martín Abadi, Microsoft Research
   Michael Backes, Saarland University and Max Planck Institute for Software Systems
   Lujo Bauer, Carnegie Mellon University
   Bruno Blanchet, INRIA Paris-Rocquencourt
   Stephen Chong, Harvard University
   Anupam Datta, Carnegie Mellon University (Co-Chair)
   Riccardo Focardi, UniversitàCa' Foscari, Venezia
   Cédric Fournet, Microsoft Research (Co-Chair)
   Deepak Garg, Max Planck Institute for Software Systems
   Joshua Guttman, Worcester Polytechnic Institute and The MITRE Corporation
   Michael Hicks, University of Maryland, College Park
   Somesh Jha, University of Wisconsin
   Boris Köpf, IMDEA Software Institute
   Sergio Maffeis, Imperial College London
   John Mitchell, Stanford University
   Benjamin Pierce, University of Pennsylvania
   Ariel Procaccia, Carnegie Mellon University
   Tamara Rezk, INRIA Sophia Antipolis-Méditerranée
   Benjamin Rubinstein, University of Melbourne
   Mark Ryan, University of Birmingham
   Andrei Sabelfeld, Chalmers University of Technology
   Vitaly Shmatikov, University of Texas, Austin
   Michael Carl Tschantz, UC Berkeley
   Bogdan Warinschi, University of Bristol

*****************************************************
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 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 must be submitted using the two-column IEEE Proceedings style
available for various document preparation systems at the IEEE
Conference Publishing Services page. Papers must not be anonymized.
Authors should use appropriate keywords from "AI & Security", "Usable
Security", "Privacy" and "Challenge/Vision" to indicate that the paper
is meant for a special session. 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. Papers not adhering to the
page limits will be rejected without consideration of their merits.

Papers should be submitted using the CSF 2014 submission site.
https://www.easychair.org/conferences/?conf=csf2014

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

*****************************************************
PC Chairs
Anupam Datta, Carnegie Mellon University, USA
Cédric Fournet, Microsoft Research

General Chair
Luca Vigano, King's College, London

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

Publicity Chair
Matteo Maffei, CISPA, Saarland University, Germany
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140116/c3b63313/attachment-0001.html>