Email Gateway (Aug 22 2022 at 09:07): Email Gateway (Aug 22 2022 at 09:07):From: Toby Murray <toby.murray@nicta.com.au>
Call for Papers
ACM SIGPLAN Tenth Workshop on Programming Languages and Analysis for
Security (PLAS 2015)
Prague, Czech Republic
July 2015
http://www.cs.cornell.edu/conferences/plas2015/
Co-located with ECOOP 2015 (http://2015.ecoop.org/)
Important dates
13 April 2015 (anywhere on earth): Submissions due (no extensions)
11 May 2015: Author notification
5 June 2015: Camera-ready due
6 or 7 July 2015: Workshop (The date will be assigned by the ECOOP
organizers.)
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
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
Language design for security in new domains such as cloud computing
and embedded platforms
Applications, case studies, and implementations of these techniques
Submission Guidelines
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 papers 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 Digital Library.
Submissions will be accepted through EasyChair at the following URL:
https://easychair.org/conferences/?conf=plas2015.
Program Committee
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 plas2015 at easychair.org.
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Last updated: Apr 20 2024 at 04:19 UTC