[TYPES/announce] PLAS 2016: Second Call for Papers

[Toby Murray]

--------------------------------------------------------------------------

Second Call for Papers

ACM SIGPLAN 11th Workshop on Programming Languages and Analysis for
Security (PLAS 2016)

Vienna, Austria
October 24, 2016

https://plas2016.programming.systems

Co-located with CCS 2016 (https://www.sigsac.org/ccs/CCS2016/)

--------------------------------------------------------------------------

Important dates

Submissions due:     25 July 2016 (anywhere on Earth)
Author notification: 29 August 2016
Final papers due:    12 September 2016
Workshop date:       24 October 2016

--------------------------------------------------------------------------

PLAS aims to provide a forum for exploring and evaluating ideas on the
use of programming language and program analysis techniques to improve
the security of software systems. Strongly encouraged are proposals of
new, speculative ideas, evaluations of new or known techniques in
practical settings, and discussions of emerging threats and important
problems.  We are especially interested in position papers that are
radical, forward-looking, and likely to lead to lively and insightful
discussions that will influence future research that lies at the
intersection of programming languages and security.

The scope of PLAS includes, but is not limited to:

* Compiler-based security mechanisms (e.g. security type systems) or
  runtime-based security mechanisms (e.g. inline reference monitors)

* Program analysis techniques for discovering security vulnerabilities

* Automated introduction and/or verification of security enforcement
  mechanisms

* Language-based verification of security properties in software,
  including verification of cryptographic protocols

* Specifying and enforcing security policies for information flow and
  access control

* Model-driven approaches to security

* Security concerns for Web programming languages

* Language design for security in new domains such as cloud computing
  and IoT

* Applications, case studies, and implementations of these techniques

--------------------------------------------------------------------------

Submission Guidelines

We invite both full papers and short papers. For short papers we
especially encourage the submission of position papers that are likely
to generate lively discussion.

* Full papers should be at most 11 pages long, plus as many pages as
  needed for references and appendices. Papers in this category are
  expected to have relatively mature content. Full paper presentations
  will be 25 minutes each.
* Short papers should be at most 5 pages long, plus as many pages as
  needed for references. Papers that present radical, open-ended and
  forward-looking ideas are particularly welcome in this category, as
  are papers presenting preliminary and exploratory work. Authors
  submitting papers in this category must prepend the phrase "Short
  Paper:" to the title of the submitted paper.  Short paper
  presentations will be 15 minutes each.

Submissions should be PDF documents typeset in the ACM proceedings
format using 10pt fonts. A SIGPLAN-approved template can be found at
the following link: http://www.sigplan.org/Resources/Author/. We
recommend using this template.

Both full and short papers must describe work not published in other
refereed venues (see the SIGPLAN republication policy at
http://www.sigplan.org/Resources/Policies/Republication/ for more
details).  Accepted papers will appear in workshop proceedings, which
will be distributed to the workshop participants and be available in
the ACM Digital Library.

--------------------------------------------------------------------------

Program Committee

Karthikeyan Bhargavan, INRIA
Stephen Chong, Harvard University
Marco Gaboardi, University at Buffalo
Christian Hammer, Saarland University
Limin Jia, Carnegie Mellon University
Toby Murray (co-chair), University of Melbourne and Data61
Benjamin Pierce, University of Pennsylvania
Tamara Rezk, INRIA
Deian Stefan (co-chair), UC San Diego and Intrinsic
Vanessa Teague, University of Melbourne
Xi Wang, University of Washington

To reach the PC chairs, send email to plas2016-chairs at programming.systems.

--------------------------------------------------------------------------