<div dir="ltr"><div class="gmail_quote gmail_quote_container">------------------------------------------------------------------------------------------------------------------------------<br><span style="text-align:center">Second call for papers</span><br><a href="https://urldefense.com/v3/__http://plas25.github.io__;!!IBzWLUs!UuBuRyPynG_v-fzWy2LYJyHVHp2gU5GZva1HxBKKu4-qawpZ8Z-MLOEujFWcjoD-A0QizOfo9DoGomF5Cl76WYWMFp5owp8mTu2Wqg$" 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: June 20, 2025 AoE<br><br>------------------------------------------------------------------------------------------------------------------------------<br>Overview<br>------------------------------------------------------------------------------------------------------------------------------<br><br>The Workshop on Programming Languages and Analysis for Security (PLAS) explores the use </div><div class="gmail_quote gmail_quote_container">of programming language and program analysis techniques to improve software security </div><div class="gmail_quote gmail_quote_container">across compilers, machine learning models, and smart contracts. It promotes speculative, </div><div class="gmail_quote gmail_quote_container">forward-looking ideas and insightful discussions at the intersection of </div><div class="gmail_quote gmail_quote_container">programming languages and security. <br><br>The <a href="https://urldefense.com/v3/__http://plas25.github.io__;!!IBzWLUs!UuBuRyPynG_v-fzWy2LYJyHVHp2gU5GZva1HxBKKu4-qawpZ8Z-MLOEujFWcjoD-A0QizOfo9DoGomF5Cl76WYWMFp5owp8mTu2Wqg$" target="_blank">20th Workshop on Programming Languages and Analysis for Security (PLAS 2025)</a> will </div><div class="gmail_quote gmail_quote_container">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 </div><div class="gmail_quote gmail_quote_container">papers that are likely to generate lively discussion as well as papers covering ongoing and </div><div class="gmail_quote gmail_quote_container">future work. Presenting a paper at the workshop does not preclude submission to or </div><div class="gmail_quote gmail_quote_container">publication in other venues that are before, concurrent, or after the workshop. Papers</div><div class="gmail_quote gmail_quote_container"> 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 </div><div class="gmail_quote gmail_quote_container">have relatively mature content. Papers that present promising preliminary and exploratory </div><div class="gmail_quote gmail_quote_container">work, or recently published work are particularly welcome in this category. Long papers may </div><div class="gmail_quote gmail_quote_container">receive longer talk slots at the workshop than short papers, depending on the number of </div><div class="gmail_quote gmail_quote_container">accepted submissions.<br>Short papers: should be at most 2 pages long, plus as many pages as needed for references. </div><div class="gmail_quote gmail_quote_container">Papers that present radical, open-ended and forward-looking ideas are particularly welcome in </div><div class="gmail_quote gmail_quote_container">this category. Authors submitting papers in this category must prepend the phrase </div><div class="gmail_quote gmail_quote_container">"Short Paper:" to the title of the submitted paper.</div><div class="gmail_quote gmail_quote_container"><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>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>Security in web, IoT, and cloud programming languages</div></div></div></div></blockquote><div> </div>Submissions will be made (in PDF format) via the following website: <a href="https://urldefense.com/v3/__https://plas25.hotcrp.com__;!!IBzWLUs!UuBuRyPynG_v-fzWy2LYJyHVHp2gU5GZva1HxBKKu4-qawpZ8Z-MLOEujFWcjoD-A0QizOfo9DoGomF5Cl76WYWMFp5owp_B-6cqAQ$" target="_blank">https://plas25.hotcrp.com</a>.<br><br>------------------------------------------------------------------------------------------------------------------------------<br>Important Dates<br>------------------------------------------------------------------------------------------------------------------------------<br><br>Paper submission: <b>June 20, 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!UuBuRyPynG_v-fzWy2LYJyHVHp2gU5GZva1HxBKKu4-qawpZ8Z-MLOEujFWcjoD-A0QizOfo9DoGomF5Cl76WYWMFp5owp8mTu2Wqg$" target="_blank">plas25.github.io</a> or </div><div class="gmail_quote gmail_quote_container">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>Jana and Abhishek</div></div>
</div></div>
</div></div>