<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">The Workshop on Foundations of Computer Security (FCS), is co-located with CSF</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">in Santa Cruz, CA, USA on June 16, 2025. FCS is a friendly, in-person</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">1-day workshop that brings together researchers interested in laying the</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">foundations of secure systems.</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">FCS welcomes papers on all topics related to the formal underpinnings of</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">security and privacy, and their applications. The workshop has no formal</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">proceedings: you are welcome to advertise work that appeared in other venues or</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">submit your work-in-progress. We are seeking submissions for full-length talks</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">and short talks. Submissions may conform to any 2-column format accepted by</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">IEEE, ACM, or USENIX conferences. FCS uses a light form of double-blind</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">reviewing similar to CSF.</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<div>Paper submission: March 30, 2025 (AoE).</div>
<div>Author notification: May 1, 2025</div>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Submission website: <a href="https://urldefense.com/v3/__https://easychair.org/my/conference?conf=fcs25__;!!IBzWLUs!RGDNYTimks68PwTx8JyzupMXS1DKQz1jONO6egtvogDhR4IPKoKqFeFjLe13YQfaaPRqnV9MGAErxzlAYDDp1_S7FH9uFZZA$">https://easychair.org/my/conference?conf=fcs25</a> </div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">For more information, please visit our website: <a href="https://urldefense.com/v3/__https://fcs-workshop.github.io/fcs2025/__;!!IBzWLUs!RGDNYTimks68PwTx8JyzupMXS1DKQz1jONO6egtvogDhR4IPKoKqFeFjLe13YQfaaPRqnV9MGAErxzlAYDDp1_S7FJlZ4DuG$">https://fcs-workshop.github.io/fcs2025/</a></div>
</body>
</html>