Home Categories About Call for Papers

PLAS 2020 : ACM SIGSAC 15th Workshop on Programming Languages and Analysis for Security

Orlando, USA

Event Date:	November 13, 2020 - November 13, 2020
Submission Deadline:	June 12, 2020
Notification of Acceptance:	August 08, 2020
Camera Ready Version Due:	September 02, 2020

About

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-learned models and smart contracts. 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.

Call for Papers

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

*NEW THIS YEAR*: Language-based techniques for detecting and eliminating side-channel vulnerabilities
Programming language techniques and verification applied to security in other domains (e.g. adversarial learning and smart contracts)
Software isolation techniques (e.g., SFI and sandboxing) and compiler-based hardening techniques (e.g, secure compilation).
Compiler-based security mechanisms (e.g. security type systems) or runtime-based security mechanisms (e.g. inline reference monitors)
Techniques for discovering and detecting security vulnerabilities, including program (binary) analysis and fuzzing
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

Summary

PLAS 2020 : ACM SIGSAC 15th Workshop on Programming Languages and Analysis for Security will take place in Orlando, USA. It’s a 1 day event starting on Nov 13, 2020 (Friday) and will be winded up on Nov 13, 2020 (Friday).

PLAS 2020 falls under the following areas: PROGRAMMING LANGUAGES, SECURITY, etc. Submissions for this Workshop can be made by Jun 12, 2020. Authors can expect the result of submission by Aug 08, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Sep 02, 2020 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the PLAS 2020

Short Name: PLAS 2020
Full Name: ACM SIGSAC 15th Workshop on Programming Languages and Analysis for Security
Timing: 09:00 AM-06:00 PM (expected)
Fees: Check the official website of PLAS 2020
Event Type: Workshop
Website Link: http://plas.ws/
Location/Address: Orlando, USA

Credits and Sources

[1] PLAS 2020 : ACM SIGSAC 15th Workshop on Programming Languages and Analysis for Security

PLAS 2020 : ACM SIGSAC 15th Workshop on Programming Languages and Analysis for Security

Categories

About

Call for Papers

Summary

Other Details of the PLAS 2020

Credits and Sources

OTHER PROGRAMMING LANGUAGES EVENTS

OTHER SECURITY EVENTS