Category PLAS 2012

Deadline: March 02, 2012 | Date: June 14, 2012

Venue/Country: Beijing, China

Updated: 2011-10-18 14:23:48 (GMT+9)

Call For Papers - CFP

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)