resurchify Conferences Journals Workshops Seminars

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

Orlando, USA
Event Date: Nov 13, 2020 - Nov 13, 2020
Submission Deadline: Jun 12, 2020
Notification of Acceptance: Aug 08, 2020
Camera Ready Version Due : Sep 02, 2020


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 Paper

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

Hotel Deals

Check Other Conferences, Workshops, and Seminars


TyDe 2020 : 5th Workshop on Type-Driven Development
Online (co-located with ICFP 2020)
Aug 23, 2020
IJPLA 2020 : International Journal of Programming Languages and Applications

DBPL 2020 : 18th International Symposium on Database Programming Languages
Tokyo, Japan
Sep 04, 2020
ICE 2020 : 13th Interaction and Concurrency Experience
University of Malta, Valletta
Jun 19, 2020
FCST 2020 : 8th International Conference on Foundations of Computer Science & Technology
Copenhagen, Denmark
Jun 27, 2020


RSDA 2020 : The 5th IEEE International Workshop on Reliability and Security Data Analysis
Coimbra, Portugal (Virtual workshop)
Oct 12, 2020
CPSS-ICM 2020 : Cyber-physical Systems Security track - The 32nd International Conference on Microelectronics
Dec 14, 2020
IJCPS 2020 : International Journal of Cyber-Physical Systems

CSPPSG 2021 : Special Issue "Cybersecurity and Privacy-Preserving in Modern Smart Grid"

STM 2020 : The 16th International Workshop on Security and Trust Management
Sep 17, 2020