<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">

<div class="">--------------------------------------------------------------------------</div>

<div class=""><br class="">

</div>

<div class="">PLAS 2021 Call for Participation</div>

<div class="">16th Workshop on Programming Languages and Analysis for Security (PLAS 2021)</div>

<div class=""><br class="">

</div>

<div class=""><a href="https://urldefense.com/v3/__https://plas21.software.imdea.org__;!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBdCH_EGCQ$" class="">https://plas21.software.imdea.org</a></div>

<div class="">Virtual Event </div>

<div class="">December 7, 2021</div>

<div class=""><br class="">

</div>

<div class="">--------------------------------------------------------------------------</div>

<div class=""><br class="">

</div>

<div class="">PLAS 2021 will be held online on December 7. Participation will be free without any preregistration.</div>

<div class=""><br class="">

</div>

<div class="">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.</div>

<div class=""><br class="">

</div>

<div class="">The program of PLAS 2021 will include the following talks:</div>

<div class=""><br class="">

</div>

<div class="">(Invited Talk) Deian Stefan - Look Ma no Hands, or How to Make Software Sandboxing Practical</div>

<div class="">Xaver Fabian, Koby Wu Chan, Marco Patrignani - Short paper: Formal verification of Spectres combination</div>

<div class="">Farzaneh Derakhshan, Stephanie Balzer, Limin Jia - Short Paper: Noninterference For Session-Typed Processes</div>

<div class="">Aslan Askarov - Short paper: are fine-grained and coarse-grained dynamic information flow control always equally expressive?</div>

<div class="">McKenna McCall, Abhishek Bichhawat, Limin Jia - Short Paper: Compositional Information Flow Monitoring for Reactive Programs</div>

<div class="">Priyanka Mondal, Maximilian Algehed, Owen Arden - Applying consensus and replication securely with FLAQR</div>

<div class="">Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix - Short paper: A Datalog-based security monitoring language</div>

<div class=""><br class="">

</div>

<div class="">Please find more information at <a href="https://urldefense.com/v3/__https://plas21.software.imdea.org__;!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBdCH_EGCQ$" class="">

https://plas21.software.imdea.org</a>. </div>

<div class=""><br class="">

</div>

<div class="">The links for attending the workshop:</div>

<div class="">ZOOM: <a href="https://urldefense.com/v3/__https://psu.zoom.us/j/92497369062?pwd=M2FKSlBTOEY2Rnc4ajFOdndNZ21sUT09__;!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBdL_Hc70w$" class="">https://psu.zoom.us/j/92497369062?pwd=M2FKSlBTOEY2Rnc4ajFOdndNZ21sUT09</a></div>

<div class="">Slack: <a href="https://urldefense.com/v3/__https://nam10.safelinks.protection.outlook.com/?url=https*3A*2F*2Fjoin.slack.com*2Ft*2Fplas2021*2Fshared_invite*2Fzt-zrd5b5tf-NqoK*t6vf*sGWQVBiX4Siw&data=04*7C01*7CL-SIISZHANG*40LISTS.PSU.EDU*7C29827319f9b3423ac84a08d9b87d46d3*7C7cf48d453ddb4389a9c1c115526eb52e*7C0*7C0*7C637743670460574845*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=JMI9pvRfUFWdkIZH*2BNdhnDYgm4vHcoG5*2FZtDEQ48SRA*3D&reserved=0__;JSUlJSUlJX5-JSUlJSUlJSUlJSUlJSUl!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBfXA5J7wg$" originalsrc="https://join.slack.com/t/plas2021/shared_invite/zt-zrd5b5tf-NqoK~t6vf~sGWQVBiX4Siw" shash="orNol0pxHtvXPsKb/HTQAXCMnfCpYm4XN5c+010ucZEex2VTec77ZlrP6jdTRyEikKLLkkzzlAfld89L1rc3oT8KYEEKxbQK9zB/ImuUCXftimwlOTVd3RxtMFy2qGQYRax21kTUVFP/UYuv93HUOKjEQFpPhpGeQb5N7UKuKIw=" class="">https://join.slack.com/t/plas2021/shared_invite/zt-zrd5b5tf-NqoK~t6vf~sGWQVBiX4Siw</a><br class="">

<br class="">

</div>

<div class="">--------------------------------------------------------------------------</div>

<div class=""><br class="">

</div>

</body>

</html>