posted by user: alerusso || 4955 views || tracked by 2 users: [display]

PLAS 2015 : ACM SIGPLAN Tenth Workshop on Programming Languages and Analysis for Security

FacebookTwitterLinkedInGoogle

Link: http://www.cs.cornell.edu/conferences/plas2015/
 
When Jul 6, 2015 - Jul 6, 2016
Where Prague, Czech Republic
Submission Deadline Apr 13, 2015
Notification Due May 11, 2015
Final Version Due Jun 5, 2015
Categories    programming languages   security
 

Call For Papers

Co-located with ECOOP 2015

Important Dates

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

Announcements

Shriram Krishnamurthi will be giving an invited talk at PLAS 2015.
The ECOOP organizers have assigned 6 July 2015 as the workshop date.

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 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

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 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 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

Contact

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

Related Resources

SPLASH 2017   ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
ACISP 2017   Australasian Conference on Information Security and Privacy
PLDI 2017   ACM SIGPLAN Symposium on Programming Language Design & Implementation
ICMWT 2017   4th iCatse Conference on Mobile and Wireless Technology
CIKM 2017   The 26th 2017 ACM Conference on Information and Knowledge Management
USENIX Security 2017   USENIX Security '17
POPL 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
SLATE 2017   Symposium on Languages, Applications and Technologies
AEIJ 2017   Advanced Energy: An International Journal
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming