PLAS 2012 - ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012)

ACM SIGPLAN Seventh Workshop on
Programming Languages and Analysis for Security
(PLAS 2012)

Beijing, China
June 14, 2012

Co-located with PLDI 2012

Important Dates

Submissions due: March 2, 2012.
Author notification: April 4, 2012.
PLAS 2012 workshop: June 14, 2012.
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 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
Program Committee

Sruthi Bandhakavi (Google Inc.)
Avik Chaudhuri (Adobe Systems)
Stephen Chong (Harvard University)
Yuxin Deng (Shanghai Jiao Tong University)
Feng Dengguo (Chinese Academy of Sciences)
Marieke Huisman (University of Twente, Netherlands)
Sergio Maffeis (Imperial College London) [co-chair]
Prasad Naldurg (Microsoft Research India)
Marco Pistoia (IBM T. J. Watson Research Center)
Tamara Rezk (INRIA) [co-chair]
David Sands (Chalmers University)
Zhong Shao (Yale University)