PLAS 2021 Call for Participation - 16th Workshop on Programming Languages and Analysis for Security

PLAS 2021 Call for Participation

16th Workshop on Programming Languages and Analysis for Security (PLAS 2021)

https://plas21.software.imdea.org

Virtual Event 

December 7, 2021

PLAS 2021 will be held online on December 7. Participation will be free without any preregistration.

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.

The program of PLAS 2021 will include the following talks:

(Invited Talk) Deian Stefan - Look Ma no Hands, or How to Make Software Sandboxing Practical

Xaver Fabian, Koby Wu Chan, Marco Patrignani - Short paper: Formal verification of Spectres combination

Farzaneh Derakhshan, Stephanie Balzer, Limin Jia - Short Paper: Noninterference For Session-Typed Processes

Aslan Askarov - Short paper: are fine-grained and coarse-grained dynamic information flow control always equally expressive?

McKenna McCall, Abhishek Bichhawat, Limin Jia - Short Paper: Compositional Information Flow Monitoring for Reactive Programs

Priyanka Mondal, Maximilian Algehed, Owen Arden - Applying consensus and replication securely with FLAQR

Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix - Short paper: A Datalog-based security monitoring language

Please find more information at https://plas21.software.imdea.org. The link for attending the workshop will be provided later (to be posted on the workshop website).