[TYPES/announce] 2nd CfP: Workshop on Foundations of Computer Security (FCS)

[Deepak Garg]

Short version (scroll down for the long version)

Workshop on Foundations of Computer Security (FCS)
Co-located with IEEE CSF. Lisbon, June 27, 2016.

Scope: Formal techniques and theoretical foundations for security and
privacy. This includes implementations and systems that focus on
applying formal security and privacy techniques.

Paper deadline: April 10, 2016
Workshop homepage: http://www.mpi-sws.org/~dg/events/fcs2016/
Submission url: https://fcs2016.mpi-sws.org

FCS welcomes both mature work and work in progress. Informal
proceedings only (concurrent submissions okay, accepted papers can be
published elsewhere later). Both long and short papers are considered.

Invited speaker: Bryan Ford, EPFL

=========================

Long version

=========================

CALL FOR PAPERS

Workshop on Foundations of Computer Security (FCS 2016)
27 June 2016, Lison, Portugal

http://www.mpi-sws.org/~dg/events/fcs2016/

Affiliated and co-located with IEEE CSF 2016

=========================


IMPORTANT INFORMATION

Submission deadline: April 10, 2016
Submission url: https://fcs2016.mpi-sws.org
Notification of acceptance: May 22, 2016
Workshop: June 27, 2016

All times are AoE (anywhere on earth).


BACKGROUND, AIM AND SCOPE

Computer security is an established field of both theoretical and
practical significance. In recent years, there has been sustained
interest in the formal foundations of methods used in computer
security. The aim of the FCS 2016 workshop is to provide a forum for
the discussion of continued research in this area.

FCS 2016 welcomes papers on all topics related to the formal
underpinnings of security and privacy, and their applications.  The
scope of FCS 2016 includes, but is not limited to, formal
specification, analysis, and design of cryptographic protocols and
their applications; formal definitions of various aspects of security
such as access control mechanisms, mobile code security and
denial-of-service attacks; modeling of information flow and its
application to security policies, system composition, and covert
channel analysis; foundations of privacy; applications of formal
techniques to practical security and privacy.

We are interested in new theoretical results, in exploratory
presentations that examine open questions and raise fundamental
concerns about existing theories, and in the development of
security/privacy tools using formal techniques. Demonstrations of
tools based on formal techniques are welcome, as long as the
demonstrations can be carried out on a standard digital projector
(i.e., without any specialized equipment). We solicit the submission
of both mature work and work in progress.

SUBMISSION

FCS 2016 welcomes two kinds of submissions:

 * full papers (at most 12 pages, excluding references and well-marked
   appendices)

 * short papers (at most 4 pages, excluding references and well-marked
   appendices)

All submissions will be peer-reviewed by the program committee listed
below. Authors of accepted papers must guarantee that their papers
will be presented at the workshop. Short papers will receive as
rigorous a review as full papers. Short papers may receive shorter
talk slots than full papers, depending on the number of accepted
submissions.

Papers should be formatted using the two-column IEEE proceedings style
available for various document preparation systems at the IEEE
Conference Publishing Services page:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
.
The first page should include the paper's title, names of authors,
coordinates of the corresponding author(s), an abstract, and a list
of keywords. Committee members are not required to read appendices, so
papers must be intelligible without them. Papers not adhering to the
page limits may be rejected without consideration of their merits.

Authors are invited to submit their papers electronically at
https://fcs2016.mpi-sws.org. Papers must be in the PDF format.


INFORMAL PROCEEDINGS

FCS has no published proceedings. Presenting a paper at the workshop
should not preclude submission to or publication in other venues
(before, after or concurrently with FCS 2016). Papers presented at the
workshop will be made available to workshop participants, but this
will not constitute an official proceedings.


INVITED SPEAKER

Bryan Ford (EPFL) will give the keynote talk at FCS 2016.


PROGRAM COMMITTEE

Aslan Askarov (Aarhus University, Denmark, co-chair)

Lennart Beringer (Princeton University, USA)

Steve Chong (Harvard University, USA)

Mads Dam (Royal Institute of Technology, Sweden)

Deepak Garg (Max Planck Institute for Software Systems, Germany, co-chair)

Andreas Haeberlen (University of Pennsylvania, USA)

Piotr Mardziel (University of Maryland, College Park, USA)

Annabelle McIver (Macquarie University, Australia)

Scott Moore (Harvard University, USA)

Catuscia Palamidessi (INRIA Saclay, France)

Marco Patrignani (Max Planck Institute for Software Systems, Germany)

Sasa Radomirovic (ETH Zurich, Switzerland)

David Sands (Chalmers University of Technology, Sweden)

Arunesh Sinha (University of Southern California, USA)

Michael Tschantz (ICSI, USA)


CONTACT

For any questions, please write to the workshop chairs:

Aslan Askarov: aslan at cs.au.dk
Deepak Garg: dg at mpi-sws.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160320/1324a567/attachment-0001.html>