Training Description
Key Takeaways
- Academic workshop at the intersection of programming languages and software security
- Focus on innovative research and speculative discussions
- Covers topics such as side-channel vulnerabilities, formal verification, and smart contract security
- Designed for researchers, academics, and advanced practitioners
- Co-located with ACM CCS 2026 in The Hague, The Netherlands
The 21st Workshop on Programming Languages and Analysis for Security (PLAS 2026) is a leading academic event dedicated to advancing research at the intersection of programming languages and software security. This workshop provides a collaborative platform for experts to share insights, discuss emerging trends, and explore innovative approaches to securing modern software systems.
Workshop Overview
PLAS 2026 brings together a diverse community of researchers and practitioners who are passionate about improving software security through programming language theory and program analysis. The event encourages both mature research and speculative, forward-looking ideas, fostering an environment where new directions and methodologies can be explored.
Participants will engage in discussions on a wide range of topics, including side-channel vulnerability detection, verification for adversarial learning, and security in smart contracts. The workshop also addresses software isolation, compiler and runtime-based hardening, and advanced program analysis techniques.
Core Themes and Topics
The workshop covers critical areas such as program and binary analysis, fuzzing, and security enforcement mechanisms. Attendees will explore cryptographic protocol verification, information flow, and access control, as well as security challenges in web, IoT, and cloud programming languages.
By focusing on these themes, PLAS 2026 aims to bridge the gap between theoretical advancements and practical security needs, supporting the development of more secure software systems.
Audience and Experience
PLAS 2026 is tailored for university faculty, PhD students, security engineers, and research scientists specializing in programming languages, formal methods, and software security. The workshop offers a unique opportunity for networking, knowledge exchange, and community building within the academic and research sectors.
As an in-person event co-located with the ACM Conference on Computer and Communications Security (CCS 2026), attendees can expect a dynamic program featuring paper presentations, expert-led discussions, and collaborative sessions designed to inspire new research directions and strengthen the field of software security.