ACM SIGPLAN Seventh Workshop on
Programming Languages and Analysis for Security
|Submissions due:||March 3, 2012.|
|Early registration:||May 1, 2012.|
|PLAS 2012 workshop:||June 15, 2012.|
How languages can secure the future distributed environment.
The trend is clear: people are exchanging code and data increasingly freely across the Internet and the Web. But both code and data are vectors for attacks on confidentiality and integrity. The Fabric project is developing a new system to support the kinds of activities now happening on the Web: the free exchange of code and data across a decentralized, distributed system. Unlike the Web, Fabric has a principled basis for security: language-based information flow. By raising the level of abstraction for programmers, Fabric also makes it easier to reason clearly about security, even in the presence of distrusted mobile code. However, some interesting problems must be solved before a system like Fabric sees widespread adoption.
Computer-Aided Cryptographic Proofs.
EasyCrypt is a toolset that assists the construction and verification of cryptographic proofs; it supports common patterns of reasoning in cryptography, and has been used successfully to prove the security of many examples, including encryption schemes, signature schemes, zero-knowledge protocols and hash functions. I will present recent developments in the tool and survey new applications.
Thanks to our sponsors, we are offering some travel grants to student
attendees of PLAS.
Precedence will be given to applicants from developing contries or authors of accepted papers.
The application is handled by the PLDI travel grants system.
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:
We invite papers in two categories:
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 more details). Accepted papers will appear in the workshop proceedings which will be distributed to workshop participants and be available in the ACM Digital Library.
Submission is now close.