ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic

Workshop on Programming Languages and Analysis for Security

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 mechanism
  • 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 embedded platforms
  • Applications, case studies, and implementations of these techniques

Past Editions: PLAS 2014, PLAS 2013, PLAS 2012, PLAS 2011, PLAS 2010, PLAS 2009, PLAS 2008, PLAS 2007, PLAS 2006.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 6 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:05 - 10:10
WelcomePLAS at Karlstejn
Chair(s): Michael Clarkson Cornell University, Limin Jia Carnegie Mellon University
10:05
5m
Day opening
Welcome
PLAS

11:10 - 12:40
Technical talks IPLAS at Karlstejn
11:10
30m
Talk
Swapsies on the Internet - Towards Reasoning about Risk and Trust in the Open World
PLAS
Sophia Drossopoulou Imperial College London, James Noble Victoria University of Wellington, Mark Miller Google Inc.
11:40
30m
Talk
Memory-safe Execution of C on a Java VM
PLAS
Matthias Grimmer Johannes Kepler University Linz, Roland Schatz Johannes Kepler University Linz, Chris Seaton Oracle Labs / University of Manchester, Thomas Wuerthinger Oracle Labs, Hanspeter Mössenböck Johannes Kepler University Linz
12:10
30m
Talk
Dynamic Enforcement of Dynamic Policies
PLAS
Pablo Buiras Chalmers University of Technology, Bart Van Delft Chalmers University of Technology
13:50 - 14:50
Invited talk IIPLAS at Karlstejn
13:50
60m
Talk
Programming and Verifying Today's and Tomorrow's Networks
PLAS
Shriram Krishnamurthi Brown University
14:50 - 15:30
Technical talks IIPLAS at Karlstejn
14:50
20m
Talk
Short Paper: On High-Assurance Information-Flow-Secure Programming Languages
PLAS
Toby Murray NICTA and UNSW
15:10
20m
Talk
Short Paper: The Meaning of Attack-Resistant Systems
PLAS
Vijay Ganesh University of Waterloo, Sebastian Banescu Technical University of Munich, Martín Ochoa Technical University of Munich
16:10 - 16:30
DiscussionPLAS at Karlstejn
16:10
20m
Other
The future of PLAS
PLAS

16:30 - 17:00
Workshop closingPLAS at Karlstejn
16:30
30m
Day closing
Informal social gathering
PLAS

Call for Papers

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 here. We recommend using this template. Both full and short papers must describe work not published in other refereed venues (see the SIGPLAN republication policy here 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. Submissions are now accepted through EasyChair at the following URL: https://easychair.org/conferences/?conf=plas2015.

To reach the PC chairs, send email to plas2015@easychair.org.

For more details, visit http://www.cs.cornell.edu/conferences/plas2015/.