ACM SIGSAC 15th Workshop on Programming Languages and Analysis for Security (PLAS)

November 13th, 2020
Cyber Security Summit Virtual Charlotte

 November 13th, 2020  

ACM SIGSAC 15th Workshop on Programming Languages and Analysis for Security (PLAS)

Event submitted on Wednesday, May 13th 2020, approved by Charles Villanueva

ACM SIGSAC 15th Workshop on Programming Languages and Analysis for Security (PLAS), November 13th, 2020Click to Tweet

96 Days Until The Event
November 13th, 2020
United States  »  South, USA  »  Florida » 
Event Website

This event has been tagged as follows:

 Our Review

If you’re a programmer and involved with any SecOps or DevOps then this event would be of particular interest. We wish the organizers the best of luck with this conference being held in Florida, Orlando.

- Review written by Henry Dalziel on Wednesday, May 13th 2020.
- Would you like to edit this review? You can by sending us a message or you can connect through LinkedIn.

Event Summary

The following description was either submitted by the Conference Organizer on Wednesday, May 13th 2020, or created by us.

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 future research at the intersection of programming languages and security.

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

  • 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

Submit a review for this event.

Did you attend ACM SIGSAC 15th Workshop on Programming Languages and Analysis for Security (PLAS)? Let us know how it was and share your experience with the greater community.