The 10th Workshop on Principles of Secure Compilation (PriSC 2026) will take place on Sunday 11 January 2026 in Rennes, France, co-located with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL).
PriSC is a 1-day informal workshop (without proceedings) that brings together researchers working on secure compilation, verification, programming languages, systems, and hardware. The aim is to exchange ideas, identify research directions, and discuss open challenges in building secure compilation chains.
Important dates
-
📅 Submission deadline: 17 October 2025
-
📢 Acceptance notification: 1 December 2025 (tentative)
-
🗓️ Workshop: 11 January 2026
We welcome presentation proposals in the form of extended abstracts (max. 2 pages) on topics related to secure compilation in a broad sense, including attacker models, secure compiler properties, verification tools, enforcement mechanisms, and new attack vectors where compiler techniques may help.
👉 Submit here: PriSC 2026 submission website
More info: https://popl26.sigplan.org/home/prisc-2026
