[TYPES/announce] Workshop on Foundations of Computer Security (FCS 2017)

[Aslan Askarov]

Workshop on Foundations of Computer Security (FCS)
Co-located with IEEE CSF. Santa Barbara, CA, August 21, 2017.

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

Paper deadline: May 21, 2017
Workshop homepage: https://cs.au.dk/~askarov/events/fcs2017/


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.


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

Long version

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

CALL FOR PAPERS

Workshop on Foundations of Computer Security (FCS 2017)
21 August 2017, Santa Barbara, CA, USA

https://cs.au.dk/~askarov/events/fcs2017/

Affiliated and co-located with IEEE CSF 2017

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


IMPORTANT INFORMATION

Submission deadline: May 21, 2017
Notification of acceptance: July 07, 2017
Workshop: August 21, 2017

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 2017 workshop is to provide a forum for
the discussion of continued research in this area.

FCS 2017 welcomes papers on all topics related to the formal
underpinnings of security and privacy, and their applications.  The
scope of FCS 2017 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 2017 welcomes two kinds of submissions:

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

 * abstracts (at most 1 page, 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. 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 2017). Papers presented at the
workshop will be made available to workshop participants, but this
will not constitute an official proceedings.



PROGRAM COMMITTEE

Mario Alvim (Federal University of Minas Gerais, Brazil)
Owen Arden (University of California, Santa Cruz, USA)
Aslan Askarov (Aarhus University, Denmark, co-chair)
Mounir Assaf (Stevens Institute of Technology, USA)
Musard Balliu (Chalmers University of Technology, Sweden)
Nataliia Bielova (INRIA Sophia Antipolis, France)
Marco Gaboardi (University of Buffalo, USA)
Joshua Guttman (MITRE corporation, USA)
Thomas Jensen (INRIA Rennes, France)
Limin Jia (Carneggie Melon University, USA)
Frank Piessens (KU Leuven, Belgium)
William Mansky (Princeton University, USA)
Ron Van der Meyden (University of New South Wales, Australia)
Toby Murray (University of Melbourne, Australia)
Ralf Sasse (ETH Zurich, Switzerland)
Alwin Tiu (Nanyang Technological University, Singapore)


CONTACT

For any questions, please write to the workshop chairs:

Aslan Askarov: aslan at cs.au.dk
Limin Jia: liminjia at cmu.edu