posted by user: maffeis2012 || 12049 views || tracked by 30 users: [display]

PLAS 2012 : Programming Languages and Analysis for Security

FacebookTwitterLinkedInGoogle

Link: http://www.doc.ic.ac.uk/PLAS2012
 
When Jun 15, 2012 - Jun 15, 2012
Where Beijing, China
Submission Deadline Mar 2, 2012
Notification Due Apr 4, 2012
Categories    programming languages   analysis   security   computer science
 

Call For Papers

***********************************************************************

Call for Papers

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

http://www.doc.ic.ac.uk/PLAS2012
June 15, 2012
Co-located with PLDI 2012, Beijing, China

***********************************************************************

SCOPE

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 and algorithms
* 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


IMPORTANT INFORMATION
*****************************
Submissions due: March 2, 2012.
Author notification: April 4, 2012.
PLAS 2010 workshop: June 15, 2012.


SUBMISSION GUIDELINES

We invite papers in two categories:

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

* Position papers should be at most 6 pages long including
bibliography and appendices. Preliminary and exploratory work are
welcome in this category. Position paper presentations will be 10
minutes each. Authors submitting papers in this category must
prepend the phrase "Position Paper: " (without quotes) to the title
of the submitted paper.

Submissions should be PDF documents typeset in the ACM proceedings
format using 10pt fonts. SIGPLAN-approved templates can be found at
http://www.acm.org/sigs/sigplan/authorInformation.htm. We recommend
using this format, which improves greatly on the ACM LaTeX format. All
submissions must be in English. Page limits are strict.

Both full and position 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
details). Accepted papers will appear in the workshop proceedings
which will be distributed to workshop participants and be available in
the ACM Digital Library.


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

Related Resources

ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
APL 2024   Advances in Programming Languages (APL) Thematic Track at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex