ACM SIGPLAN Tenth Workshop on
Programming Languages and Analysis for Security
Prague, Czech Republic
Co-located with ECOOP 2015
- 13 April 2015, Anywhere on Earth: Submissions due (no extensions)
- 11 May 2015: Author notification
- 5 June 2015: Camera-ready due
- 6 July 2015: Workshop
- The ECOOP organizers have assigned 6 July 2015 as the workshop date.
- Cătălin Hriţcu (INRIA):
Micro-Policies: Formally Verified, Tag-Based Security Monitors.
- Shriram Krishnamurthi (Brown):
Programming and Verifying Today's and Tomorrow's Networks.
- Dynamic Enforcement of Dynamic Policies.
Pablo Buiras, Bart van Delft.
- Short Paper: The Meaning of Attack-Resistant Systems.
Vijay Ganesh, Sebastian Banescu, Martín Ochoa.
- Memory-safe Execution of C on a Java VM.
Matthias Grimmer, Roland Schatz, Chris Seaton, Thomas Würthinger, Hanspeter Mössenböck.
- Short Paper: On High-Assurance Information-Flow-Secure Programming Languages.
- Swapsies on the Internet—Towards Reasoning about Risk and Trust in the Open World.
Sophia Drossopoulou, James Noble, Mark S. Miller.
Call For Papers
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. The scope of PLAS
includes, but is not limited to:
- Compiler-based security mechanisms or runtime-based security mechanisms
such as inline reference monitors
- Program analysis techniques for discovering security vulnerabilities
- Automated introduction and/or verification of security enforcement
- Language-based verification of security properties in software, including
verification of cryptographic protocols
- Specifying and enforcing security policies for information flow and
- Model-driven approaches to security
- Security concerns for web programming languages
- Language design for security in new domains such as cloud computing and
- Applications, case studies, and implementations of these techniques
Two kinds of papers are invited:
- Full papers should be at most 12 pages long including bibliography
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 6 pages long including bibliography
and appendices. Preliminary and exploratory work are welcome in this
category. Short paper presentations will be 15 minutes each. Authors
submitting papers in this category must prepend the phrase "Short Paper:" to
the title of the submitted paper.
All submissions must be in English. Page limits are strict. Submissions must
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.acm.org/sigs/sigplan/republicationpolicy.htm
for more details). Accepted papers will appear in workshop proceedings, which
will be distributed to the workshop participants and be available in the ACM
Submissions will be accepted through EasyChair at the following URL:
- Stephen Chong, Harvard University
- Michael Clarkson (co-chair), Cornell University
- Christian Hammer, CISPA, Saarland University
- Matthew Hammer, University of Maryland, College Park
- Limin Jia (co-chair), Carnegie Mellon University
- Stephen McCamant, University of Minnesota
- Matteo Maffei, CISPA, Saarland University
- John C. Mitchell, Stanford University
- Toby Murray, NICTA and UNSW
- Benjamin C. Pierce, University of Pennsylvania
- Frank Piessens, KU Leuven
- Marco Pistoia, IBM Research
- Tamara Rezk, INRIA
- Tachio Terauchi, JAIST
To reach the PC chairs, send email to firstname.lastname@example.org.