Workshop on Programming Languages and Analysis for Security (PLAS)

UK Cybersecurity Conference

November 15th, 2019

 November 15th, 2019  

Workshop on Programming Languages and Analysis for Security (PLAS)

United Kingdom » 
November 15th, 2019

Event Website

InfoSec Conference Summary

The description was submitted by the Conference Organizer. We sometimes edit it to enhance the listing.

favouriteLoadingAdd this conference to your favourites

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. 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 are also accepted.

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

Submit a review for this event.

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

Leave a Comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.