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