Conference · Workshop on Principles of Secure Compilation
PriSC 2027
Official page- Type
- Conference
- Organisation
- Workshop on Principles of Secure Compilation
- Location
- Mexico City, Mexico
- Submissions close
- 16 October 2026
- Takes place
- 11 January 2027
- Found
- 26 September 2026
About this listing
Workshop on Principles of Secure Compilation. Submissions close 2026-10-16. Held in Mexico City, Mexico. 11th edition. An informal workshop, without published proceedings, on compilers that preserve security properties: attacker models, secure compilation criteria, enforcement mechanisms, language interoperability, and formal verification of compilation chains. Held with POPL 2027. Topics: security, compilers, verification, programming languages. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).