<P>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.</P><B>Keywords:</B> <LI>Language–based techniques for security <LI>Verification of security properties in software <LI>Automated introduction and/or verification of security enforcement mechanisms <LI>Program analysis techniques for discovering security vulnerabilities <LI>Compiler–based security mechanisms, such as host–based intrusion detection and in–line reference monitors <LI>Specifying and enforcing security policies for information flow and access control <LI>Model–driven approaches to security <LI>Applications, examples, and implementations of these security techniques </LI>
Abbrevation
PLAS
City
Tucson
Country
United States
Deadline Paper
Start Date
End Date
Abstract