PLAS 2013 - ACM SIGPLAN Eighth Workshop on Programming Languages and Analysis for Security PLAS 2013

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
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
Submission Guidelines
We invite papers in two categories:
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.
Position papers should be at most 6 pages long including bibliography and appendices. Preliminary and exploratory work are welcome in this category. Position paper presentations will be 10 minutes each. Authors submitting papers in this category must prepend the phrase Position Paper: to the title of the submitted paper.
Submissions should be PDF documents typeset in the ACM proceedings format using 10pt fonts. SIGPLAN-approved templates can be found at http://www.acm.org/sigs/sigplan/authorInformation..... We recommend using this format, which improves greatly on the ACM LaTeX format. All submissions must be in English. Page limits are strict.
Both full and position papers must describe work not published in other refereed venues (see the SIGPLAN republication policy at http://www.acm.org/sigs/sigplan/republicationpolic... for more details). Accepted papers will appear in the workshop proceedings which will be distributed to workshop participants and be available in the ACM Digital Library.
Program Committee
Aslan Askarov (Harvard University)
Karthikeyan Bhargavan (INRIA)
Nataliia Bielova (INRIA-Rennes)
Vinod Ganapathy (Rutgers)
Ana Almeida Matos (Instituto Superior Técnico and Instituto de Telecomunicações)
Prasad Naldurg (co-chair) (MSR India)
Grigore Rosu (University of Illinois at Urbana-Champaign)
Nikhil Swamy (co-chair) (MSR Redmond)
Ankur Taly (Google)