ACM SIGSAC 14th Workshop on Programming Languages and Analysis for Security
PLAS 2019
- URL: http://2019.plas.ws
- Event Date: 2019-11-15 ~ 2019-11-15
- Abstract Submission Date: 2019-07-01
- Submission Date: 2019-07-05
- Location: London, United Kingdom
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 http://2019.plas.ws .
PLAS 2019 Co-chairs
Piotr Mardziel (CMU)
Niki Vazou (IMDEA Software)
plas2019@easychair.org
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 http://2019.plas.ws .
PLAS 2019 Co-chairs
Piotr Mardziel (CMU)
Niki Vazou (IMDEA Software)
plas2019@easychair.org
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
