<div dir="ltr"><div><div>Dear All,</div></div><div class="gmail_quote gmail_quote_container"><br></div><div class="gmail_quote gmail_quote_container">This is a final reminder for submitting to PLAS 2025. The deadline is 4th of July, 2025 (AoE). <br>We look forward to your interesting submissions to the workshop. <br><br>Best Regards,<br>Jana and Abhishek</div><div class="gmail_quote gmail_quote_container"><br></div><div class="gmail_quote gmail_quote_container">On Fri, Jun 20, 2025 at 11:16 AM Abhishek Bichhawat <<a href="mailto:abhishek.b@iitgn.ac.in" target="_blank">abhishek.b@iitgn.ac.in</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div class="gmail_quote">-----------------------------------------------------------------------------------------------------------------------------<br><span style="text-align:center">Call for papers - Extended deadline</span><br><a href="https://urldefense.com/v3/__http://plas25.github.io__;!!IBzWLUs!XW8SUl6eYNPcfTB4cmxxOkR7STmHawPCqGp3bLVBDzJ190vOGyoq-AIIuBvYv_UkPO1322VatZBUbH9p6uapld_sFYjK14oODZMYYQ$" target="_blank" style="text-align:center">PLAS 2025 </a><span style="text-align:center">(co-located with CCS '25)</span><br><span style="text-align:center">Taipei, Taiwan</span><br><span style="text-align:center">13th October, 2025</span><br>------------------------------------------------------------------------------------------------------------------------------<br><br>TL;DR: Submission Deadline (extended): July 4, 2025 AoE<br><br>------------------------------------------------------------------------------------------------------------------------------<br>Overview<br>------------------------------------------------------------------------------------------------------------------------------<br><br>The Workshop on Programming Languages and Analysis for Security (PLAS) explores the use of programming language and program analysis techniques to improve software security across compilers, machine learning models, and smart contracts. It promotes speculative, forward-looking ideas and insightful discussions at the intersection of <br>programming languages and security. <br><br>The <a href="https://urldefense.com/v3/__http://plas25.github.io__;!!IBzWLUs!XW8SUl6eYNPcfTB4cmxxOkR7STmHawPCqGp3bLVBDzJ190vOGyoq-AIIuBvYv_UkPO1322VatZBUbH9p6uapld_sFYjK14oODZMYYQ$" target="_blank">20th Workshop on Programming Languages and Analysis for Security (PLAS 2025)</a> will <br>be held on the 13th of October, 2025, co-located with CCS 2025 in Taipei, Taiwan. <br><br>------------------------------------------------------------------------------------------------------------------------------<br>Submission Guidelines<br>------------------------------------------------------------------------------------------------------------------------------<br><br>The workshop has no formal published proceedings; hence, we encourage the submission of papers that are likely to generate lively discussion as well as papers covering ongoing and future work. Presenting a paper at the workshop does not preclude submission to or <br>publication in other venues that are before, concurrent, or after the workshop. Papers presented at the workshop will be made available to workshop participants only.<br><br>We invite both short papers and long papers. <br>Full papers: There is no page limit on long papers. Papers in this category are expected to <br>have relatively mature content. Papers that present promising preliminary and exploratory <br>work, or recently published work are particularly welcome in this category. Long papers may <br>receive longer talk slots at the workshop than short papers, depending on the number of <br>accepted submissions.<br>Short papers: should be at most 2 pages long, plus as many pages as needed for references. <br>Papers that present radical, open-ended and forward-looking ideas are particularly welcome in this category. Authors submitting papers in this category must prepend the phrase <br>"Short Paper:" to the title of the submitted paper.<br><br>There is no restriction on paper format other than the page limits stated above. <br><br>A non-exhaustive list of topics for the workshop is:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div class="gmail_quote"><div><div class="gmail_quote">Side-channel vulnerability detection and elimination<br>Verification techniques applied to adversarial learning and smart contracts<br>Software isolation (e.g., SFI, sandboxing)<br>Compiler/runtime-based hardening and monitoring<br>Program analysis, binary analysis, and fuzzing<br>Security enforcement mechanisms<br>Cryptographic protocol verification<br>Information flow and access control<br><div><div class="gmail_quote"><div><div>Security in web, IoT, and cloud programming languages</div></div></div></div></div></div></div></div></blockquote> <br>Submissions will be made (in PDF format) via the following website: <a href="https://urldefense.com/v3/__https://plas25.hotcrp.com__;!!IBzWLUs!XW8SUl6eYNPcfTB4cmxxOkR7STmHawPCqGp3bLVBDzJ190vOGyoq-AIIuBvYv_UkPO1322VatZBUbH9p6uapld_sFYjK14rhXgCLig$" target="_blank">https://plas25.hotcrp.com</a>.<br><br>------------------------------------------------------------------------------------------------------------------------------<br>Important Dates<br>------------------------------------------------------------------------------------------------------------------------------<br><br>Paper submission (extended deadline): <b>July 4, 2025 AoE</b><br>Author notification: August 8, 2025<br>Workshop date: October 13, 2025<br><br>------------------------------------------------------------------------------------------------------------------------------<br>Program Committee<br>------------------------------------------------------------------------------------------------------------------------------<br>Amir Ahmadian (KTH, Sweden)<br>Sebastien Bardin (CEA, France)<br>Abhishek Bichhawat (IIT Gandhinagar, India) (co-chair)<br>Ferhat Erata (Yale, USA)<br>Jana Hofmann (MPI-SP, Germany) (co-chair)<br>Adrien Koutsos (Inria, France)<br>McKenna McCall (Carnegie Mellon University, USA)<br>Toby Murray (University of Melbourne, Australia)<br>Sabine Oechsner (VU Amsterdam, Netherlands)<br><br>------------------------------------------------------------------------------------------------------------------------------<br>Contact<br>------------------------------------------------------------------------------------------------------------------------------<br>For more information, please refer to <a href="https://urldefense.com/v3/__http://plas25.github.io__;!!IBzWLUs!XW8SUl6eYNPcfTB4cmxxOkR7STmHawPCqGp3bLVBDzJ190vOGyoq-AIIuBvYv_UkPO1322VatZBUbH9p6uapld_sFYjK14oODZMYYQ$" target="_blank">plas25.github.io</a> or <br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div class="gmail_quote"><div><div class="gmail_quote"><div><br></div></div></div></div></div></blockquote>email us at <a href="mailto:abhishek.b@iitgn.ac.in" target="_blank">abhishek.b@iitgn.ac.in</a> and <a href="mailto:jana.hofmann@mpi-sp.org" target="_blank">jana.hofmann@mpi-sp.org</a><br><br>Best Regards,<br><div><div class="gmail_quote"><div><div class="gmail_quote"><div><div class="gmail_quote"><div><div>Jana and Abhishek</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</blockquote></div></div>