[isabelle] CSF 2016 Call for Papers



[on behalf of Boris Koepf]

===================================================
CSF 2016 Call for Papers
29th IEEE Computer Security Foundations Symposium

http://csf2016.tecnico.ulisboa.pt/
June 28-July 1, 2016
Lisbon, Portugal

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 and privacy, authentication, computer-aided cryptography,
data and system integrity, database security, decidability and
complexity, distributed systems security, electronic voting, formal
methods and verification, decision theory, hardware-based security,
information flow, intrusion detection, language-based security,
network security, data provenance, mobile security, security metrics,
security protocols, software security, socio-technical security, trust
management, usable security, web security.


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

  PRIVACY (Chair: Daniel Kifer). CSF 2016 will include a special
  session on privacy foundations and invites submissions on
  innovations in practice, as well as 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, statistics...)

  SECURITY ECONOMICS (Chair: Jens Grossklags). There is an interplay
  between important system properties including privacy, security,
  efficiency, flexibility, and usability. Diverse systems balance
  these properties differently, and as such provide varied benefits
  (for users) for different costs (for builders and attackers). In
  short, securing systems is ultimately an economic question. CSF 2016
  will include a special session on security economics, where we
  invite submissions on foundational work in this area. Topics
  include, but are not limited to, risk management and
  cyber-insurance, investments in information security, security
  metrics, decision and game theory for security, and
  cryptocurrencies.


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 12, 2016
Author response period: March 24-25, 2016
Notification:           April 8, 2016
Camera ready:           May 6, 2016
Symposium:              June 28-July 1, 2016

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

June Andronick, NICTA and UNSW
Aslan Askarov, Aarhus University
Manuel Barbosa, University of Porto
Lujo Bauer, Carnegie Mellon University
Karthikeyan Bhargavan, INRIA
Anna Lisa Ferrara, University of Surrey
Matt Frederikson, Carnegie Mellon University
Jens Grossklags, Penn State (Area Chair on Security Economics)
Mike Hicks, University of Maryland (Program Co-Chair)
Catalin Hritcu, INRIA
Daniel Kifer, Penn State (Area Chair on Privacy)
Jong Kim, Pohang University of Science and Technology
Boris Koepf, IMDEA Software Institute (Program Co-Chair)
Steve Kremer, INRIA
Peeter Laud, Cybernetica
Matteo Maffei, Saarland University
Stephen Magill, Galois
Sebastian Moedersheim, Technical University of Denmark
Greg Morrisett, Cornell University
Andrei Sabelfeld, Chalmers University of Technology
Geoffrey Smith, Florida International University
Michael Carl Tschantz, ICSI Berkeley
Bogdan Warinschi, University of Bristol
Nicola Zannone, Eindhoven University of Technology
Steve Zdancewic, University of Pennsylvania


*****************************************************
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'16 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 intended for one of the special sessions should select the
"Privacy" or "Security Economics" option, as appropriate.

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

*****************************************************
PC Chairs
Michael Hicks, University of Maryland
Boris Koepf, IMDEA Software Institute

General Chair
Pedro Adao, University of Lisbon

Publications Chair
Deepak Garg, Max Planck Institute for Software Systems

Publicity Chair
Matteo Maffei, CISPA, Saarland University


________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.