
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">================================================</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">2nd Call for Presentations: PriSC 2023 @ POPL 2023</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">================================================</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Secure compilation is an emerging field that puts together advances in security,</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">programming languages, compilers, verification, systems, and hardware</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">architectures in order to devise more secure compilation chains that eliminate</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">many of today’s security vulnerabilities and that allow sound reasoning about</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">security properties in the source language. For a concrete example, all modern</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">languages provide a notion of structured control flow and an invoked procedure</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">is expected to return to the right place. However, today’s compilation chains</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">(compilers, linkers, loaders, runtime systems, hardware) cannot efficiently</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">enforce this abstraction against linked low-level code, which can call and</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">return to arbitrary instructions or smash the stack, blatantly violating the</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">high-level abstraction. Other problems arise because today’s languages fail to</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">specify security policies, such as data confidentiality, and the compilation</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">chains thus fail to enforce them, especially against powerful side-channel</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">attacks. The emerging secure compilation community aims to address such problems</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">by identifying precise security goals and attacker models, designing more secure</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">languages, devising efficient enforcement and mitigation mechanisms, and</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">developing effective verification techniques for secure compilation chains.</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">7th Workshop on Principles of Secure Compilation (PriSC 2023)</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">=============================================================</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">The Workshop on Principles of Secure Compilation (PriSC) is an informal 1-day</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">workshop without any proceedings. The goal of this workshop is to identify</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">interesting research directions and open challenges and to bring together</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">researchers interested in working on building secure compilation chains, on</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">developing proof techniques and verification tools, and on designing software or</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">hardware enforcement mechanisms for secure compilation. The 7th edition of PriSC</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">will be held on January 21 in Boston, Massachusetts, United State together with</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2023.</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Important Dates</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">===============</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Thu 27 Oct 2022: Submission Deadline</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Thu 24 Nov 2022: Acceptance Notification</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Sat 21 Jan 2023: Workshop</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Presentation Proposals and Attending the Workshop</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">=================================================</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Anyone interested in presenting at the workshop should submit an extended</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">abstract (up to 2 pages, details below) covering past, ongoing, or future work.</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Any topic that could be of interest to secure compilation is in scope. Secure</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">compilation should be interpreted very broadly to include any work in security,</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">programming languages, architecture, systems or their combination that can be</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">leveraged to preserve security properties of programs when they are compiled or</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">to eliminate low-level vulnerabilities. Presentations that provide a useful</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">outside view or challenge the community are also welcome. This includes</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">presentations on new attack vectors such as microarchitectural side-channels,</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">whose defenses could benefit from compiler techniques.</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Specific topics of interest include but are not limited to:</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Attacker models for secure compiler chains.</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Secure compiler properties: fully abstract compilation and similar properties,</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">memory safety, control-flow integrity, preservation of safety, information</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">flow and other (hyper-)properties against adversarial contexts, secure</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">multi-language interoperability.</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Secure interaction between different programming languages: foreign function</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">interfaces, gradual types, securely combining different memory management</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">strategies.</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Enforcement mechanisms and low-level security primitives: static checking,</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">program verification, typed assembly languages, reference monitoring, program</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">rewriting, software-based isolation/hiding techniques (SFI, crypto-based,</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">randomization-based, OS/hypervisor-based), security-oriented architectural</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">features such as Intel’s SGX, MPX and MPK, capability machines, side-channel</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">defenses, object capabilities.</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Experimental evaluation and applications of secure compilers.</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Proof methods relevant to compilation: (bi)simulation, logical relations, game</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">semantics, trace semantics, multi-language semantics, embedded interpreters.</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Formal verification of secure compilation chains (protection mechanisms,</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">compilers, linkers, loaders), machine-checked proofs, translation validation,</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">property-based testing.</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Guidelines for Submitting Extended Abstracts</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">============================================</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Extended abstracts should be submitted in PDF format and not exceed 2 pages</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">(references not included). They should be formatted in two-column layout, 10pt</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">font, and be printable on A4 and US Letter sized paper. We recommend using the</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">new acmart LaTeX style in sigplan mode. Submissions are not anonymous and should</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">provide sufficient detail to be assessed by the program committee. Presentation</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">at the workshop does not preclude publication elsewhere.</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Contact and More Information</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">============================</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">You can find more information on the workshop website:</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><a href="https://urldefense.com/v3/__https://popl23.sigplan.org/home/prisc-2023__;!!IBzWLUs!TgQbhA68uXYkM_7snP8xoP7yrj2Ih0d4Z3OLWKkIpBv9RPwHKxrRMvJvrlMJXesCvLofAShi8z2xpvuRR1J0OPLIeRO48CJSeVSSz-pT$" class="">https://popl23.sigplan.org/home/prisc-2023</a><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Submission website: </span><a href="https://urldefense.com/v3/__https://prisc2023.hotcrp.com/__;!!IBzWLUs!TgQbhA68uXYkM_7snP8xoP7yrj2Ih0d4Z3OLWKkIpBv9RPwHKxrRMvJvrlMJXesCvLofAShi8z2xpvuRR1J0OPLIeRO48CJSeR0QIXg3$" class="">https://prisc2023.hotcrp.com/</a><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">For questions please contact the workshop chairs, Marco Guarnieri</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">(</span><a href="mailto:marco.guarnieri@imdea.org" class="">marco.guarnieri@imdea.org</a><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">) and Shweta Shinde</span><br class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">(</span><a href="mailto:shweta.shivajishinde@inf.ethz.ch" class="">shweta.shivajishinde@inf.ethz.ch</a><span class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">).</span></body></html>