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