POPL
Proceedings of the ACM on Programming Languages48th ACM SIGPLAN Symposium on Principles of Programming Languages
CSF
33rd IEEE Computer Security Foundations SymposiumComputer Security Foundations Symposium
PriSC
47th ACM SIGPLAN Symposium on Principles of Programming LanguagesWorkshop on Principles of Secure Compilation