posted by user: piotrm || 426 views || tracked by 2 users: [display]

PLAS 2019 : ACM SIGSAC 14th Workshop on Programming Languages and Analysis for Security


When Nov 15, 2019 - Nov 15, 2019
Where London, UK
Abstract Registration Due Jul 1, 2019
Submission Deadline Jul 5, 2019
Notification Due Aug 5, 2019
Final Version Due Aug 23, 2019
Categories    programming languages   security

Call For Papers

14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS 2019)
Co-located with ACM CCS 2019
Friday November 15, 2019, London, UK

Paper submission: Monday July 1, 2019 (AoE) (Abstract only); Friday July 5, 2019 (AoE) (Paper)
Author notification: Monday August 5, 2019
Camera ready version: Friday August 23, 2019 (AoE)
Workshop date: Friday November 15, 2019

PLAS provides a forum for exploring and evaluating the use of programming language and program
analysis techniques for promoting security in the complete range of software systems, from
compilers to machine learnt models. The workshop encourages proposals of new, speculative ideas,
evaluations of new or known techniques in practical settings, and discussions of emerging threats
and problems. We also host position papers that are radical, forward-looking, and lead to lively
and insightful discussions influential to the future research at the intersection of programming
languages and security.

The scope of PLAS includes, but is not limited to:

* *NEW THIS YEAR*: Programming language techniques and verification applied to security in other
domains (e.g. adversarial learning)

* Compiler-based security mechanisms (e.g. security type systems) or runtime-based security
mechanisms (e.g. 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 IoT

* Applications, case studies, and implementations of these techniques

PLAS welcomes full (11 pages) and short position (5 pages) papers. Submission
information is available on the event website at .

PLAS 2019 Co-chairs
Piotr Mardziel (CMU)
Niki Vazou (IMDEA Software)

Related Resources

POPL 2020   ACM SIGPLAN Symposium on Principles of Programming Languages 2020
PPoPP 2019   47th ACM SIGPLAN Symposium on Principles of Programming Languages
SCAI 2019   8th International Conference On Soft Computing, Artificial Intelligence And Applications
ACITY 2019   9th International Conference on Advances in Computing and Information Technology
ASPLOS 2020   Architectural Support for Programming Languages and Operating Systems
ICCSEA 2019   9th International Conference on Computer Science, Engineering and Applications
WAPL 2019   7th Workshop on Advances in Programming Languages
GridCom 2019   11th International Conference on Grid Computing
IEEE Mobile Cloud 2019   The Seventh IEEE International Conference on Mobile Cloud Computing, Services, and Engineering
ACM--ICCDA--Ei, Scopus 2020   ACM--2020 The 4th International Conference on Compute and Data Analysis (ICCDA 2020)--Ei Compendex, Scopus