
<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;">

<span style="caret-color: rgb(34, 34, 34); color: rgb(34, 34, 34); font-family: Arial, Helvetica, sans-serif; font-size: small; background-color: rgb(255, 255, 255);">PriSC is a fun, welcoming and exciting venue. Join our friendly gathering, </span>

<div style="caret-color: rgb(34, 34, 34); color: rgb(34, 34, 34); font-family: Arial, Helvetica, sans-serif;">

share your ideas, and start new collaborations: submit now!<br>

<div><br>

</div>

<div>Important Dates</div>

<div>===============<br>

<br>

* Thu 7 Nov 2024: Submission Deadline<br>

* Thu 5 Dec 2024: Acceptance Notification<br>

* Mon 20 Jan 2025: Workshop<br>

</div>

<div><br>

</div>

<div>Submission website: <a href="https://urldefense.com/v3/__https://prisc25.hotcrp.com/__;!!IBzWLUs!XnwCBoojX8zXWofADiVMt5M1W5Qm7pNJfKbrsu9Rg0-Q3kutMrXs_wlvcBckWJfANl9uIo1QpWAPhBseXuF3jdv7ftm1Q7Qv$" target="_blank" data-saferedirecturl="https://www.google.com/url?q=https://prisc25.hotcrp.com&source=gmail&ust=1729593176382000&usg=AOvVaw2QyMgtU7Jo_hId2gw_UZtt" style="color: rgb(17, 85, 204);">https://prisc25.hotcrp.com</a></div>

<div>Workshop website: <a href="https://urldefense.com/v3/__https://popl25.sigplan.org/home/prisc-2025__;!!IBzWLUs!XnwCBoojX8zXWofADiVMt5M1W5Qm7pNJfKbrsu9Rg0-Q3kutMrXs_wlvcBckWJfANl9uIo1QpWAPhBseXuF3jdv7fjTQ5yCR$" target="_blank" data-saferedirecturl="https://www.google.com/url?q=https://popl25.sigplan.org/home/prisc-2025&source=gmail&ust=1729593176382000&usg=AOvVaw25_kdxtqh3yiY6tpOIoFkK" style="color: rgb(17, 85, 204);">https://popl25.sigplan.org/<wbr>home/prisc-2025</a><br>

<br>

</div>

<div>==============================<wbr>==================<br>

Call for Presentations: PriSC @ POPL 2025<br>

==============================<wbr>==================<br>

<br>

Secure compilation is an emerging field that puts together advances in security,<br>

programming languages, compilers, verification, systems, and hardware<br>

architectures in order to devise more secure compilation chains that eliminate<br>

many of today's security vulnerabilities and that allow sound reasoning about<br>

security properties in the source language. For a concrete example, all modern<br>

languages provide a notion of structured control flow and an invoked procedure<br>

is expected to return to the right place. However, today's compilation chains<br>

(compilers, linkers, loaders, runtime systems, hardware) cannot efficiently<br>

enforce this abstraction against linked low-level code, which can call and<br>

return to arbitrary instructions or smash the stack, blatantly violating the<br>

high-level abstraction. Other problems arise because today's languages fail to<br>

specify security policies, such as data confidentiality, and the compilation<br>

chains thus fail to enforce them, especially against powerful side-channel<br>

attacks. The emerging secure compilation community aims to address such problems<br>

by identifying precise security goals and attacker models, designing more secure<br>

languages, devising efficient enforcement and mitigation mechanisms, and<br>

developing effective verification techniques for secure compilation chains.<br>

<br>

9th Workshop on Principles of Secure Compilation (PriSC 2025)<br>

==============================<wbr>==============================<wbr>=<br>

<br>

The Workshop on Principles of Secure Compilation (PriSC) is an informal 1-day<br>

workshop without any proceedings. The goal of this workshop is to identify<br>

interesting research directions and open challenges and to bring together<br>

researchers interested in working on building secure compilation chains, on<br>

developing proof techniques and verification tools, and on designing software or<br>

hardware enforcement mechanisms for secure compilation. The 9th edition of PriSC<br>

will be held on January 20 in Denver, Colorado, United States together with<br>

the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025.<br>

<br>

<br>

Presentation Proposals and Attending the Workshop<br>

==============================<wbr>===================<br>

<br>

Anyone interested in presenting at the workshop should submit an extended<br>

abstract (up to 2 pages, details below) covering past, ongoing, or future work.<br>

Any topic that could be of interest to secure compilation is in scope. Secure<br>

compilation should be interpreted very broadly to include any work in security,<br>

programming languages, architecture, systems or their combination that can be<br>

leveraged to preserve security properties of programs when they are compiled or<br>

to eliminate low-level vulnerabilities. Presentations that provide a useful<br>

outside view or challenge the community are also welcome. This includes<br>

presentations on new attack vectors such as microarchitectural side-channels,<br>

whose defenses could benefit from compiler techniques.<br>

<br>

Specific topics of interest include but are not limited to:<br>

* Attacker models for secure compiler chains.<br>

* Secure compiler properties: fully abstract compilation and similar properties,<br>

memory safety, control-flow integrity, preservation of safety, information<br>

flow and other (hyper-)properties against adversarial contexts, secure<br>

multi-language interoperability.<br>

* Secure interaction between different programming languages: foreign function<br>

interfaces, gradual types, securely combining different memory management<br>

strategies.<br>

* Enforcement mechanisms and low-level security primitives: static checking,<br>

program verification, typed assembly languages, reference monitoring, program<br>

rewriting, software-based isolation/hiding techniques (SFI, crypto-based,<br>

randomization-based, OS/hypervisor-based), security-oriented architectural<br>

features such as Intel's SGX, MPX and MPK, capability machines, side-channel<br>

defenses, object capabilities.<br>

* Experimental evaluation and applications of secure compilers.<br>

* Proof methods relevant to compilation: (bi)simulation, logical relations, game<br>

semantics, trace semantics, multi-language semantics, embedded interpreters.<br>

* Formal verification of secure compilation chains (protection mechanisms,<br>

compilers, linkers, loaders), machine-checked proofs, translation validation,<br>

property-based testing.<br>

<br>

Guidelines for Submitting Extended Abstracts<br>

==============================<wbr>==============<br>

<br>

Extended abstracts should be submitted in PDF format and not exceed 2 pages<br>

(references not included). They should be formatted in two-column layout, 10pt<br>

font, and be printable on A4 and US Letter sized paper. We recommend using the<br>

new acmart LaTeX style in sigplan mode. Submissions are not anonymous and should<br>

provide sufficient detail to be assessed by the program committee. Presentation<br>

at the workshop does not preclude publication elsewhere.<br>

<br>

Contact and More Information<br>

============================<br>

<br>

You can find more information on the workshop website:<br>

<a href="https://urldefense.com/v3/__https://popl25.sigplan.org/home/prisc-2025__;!!IBzWLUs!XnwCBoojX8zXWofADiVMt5M1W5Qm7pNJfKbrsu9Rg0-Q3kutMrXs_wlvcBckWJfANl9uIo1QpWAPhBseXuF3jdv7fjTQ5yCR$" target="_blank" data-saferedirecturl="https://www.google.com/url?q=https://popl25.sigplan.org/home/prisc-2025&source=gmail&ust=1729593176382000&usg=AOvVaw25_kdxtqh3yiY6tpOIoFkK" style="color: rgb(17, 85, 204);">https://popl25.sigplan.org/<wbr>home/prisc-2025</a><br>

<br>

Submission website: <a href="https://urldefense.com/v3/__https://prisc25.hotcrp.com/__;!!IBzWLUs!XnwCBoojX8zXWofADiVMt5M1W5Qm7pNJfKbrsu9Rg0-Q3kutMrXs_wlvcBckWJfANl9uIo1QpWAPhBseXuF3jdv7ftm1Q7Qv$" target="_blank" data-saferedirecturl="https://www.google.com/url?q=https://prisc25.hotcrp.com&source=gmail&ust=1729593176382000&usg=AOvVaw2QyMgtU7Jo_hId2gw_UZtt" style="color: rgb(17, 85, 204);">https://prisc25.hotcrp.com</a><br>

<br>

For questions please contact the workshop chairs, Marco Patrignani<br>

(<a href="mailto:marco.patrignani@unitn.it" target="_blank" style="color: rgb(17, 85, 204);">marco.patrignani@unitn.it</a>) and Marco Vassena (<a href="mailto:m.vassena@uu.nl" target="_blank" style="color: rgb(17, 85, 204);">m.vassena@uu.nl</a>).</div>

</div>

</body>

</html>