Workshop on Principles of Secure Compilation (PriSC 2024) at POPL 2024, January 17-19 London, United Kingdom https://popl24.sigplan.org/home/prisc-2024#About #Compiler #Hardware #Security #Verification