11th Workshop on Principles of Secure Compilation

The 11th Workshop on Principles of Secure Compilation (PUMP) provides a premier forum for researchers to discuss the formal foundations, design, and implementation of secure compilation schemes. The workshop brings together experts from programming languages, security, and architecture to address the challenges of preserving security properties across language boundaries and abstraction layers. By fostering interdisciplinary dialogue, PUMP plays a pivotal role in advancing the state-of-the-art in robust, verifiable, and efficient compiler-enforced security.

We invite submissions that explore theoretical frameworks, practical implementations, and empirical evaluations of secure compilation, including topics such as compartmentalization, memory safety, and side-channel mitigation. Both full research papers and extended abstracts describing works-in-progress or novel research directions are welcome.