PLAS 2015 - Tenth 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