IEEE Computer Security Foundations Symposium (CSF)
Symposium on Principles of Programming Languages (POPL)
ACM Conference on Computer and Communications Security (CCS)
Usenix Security Symposium (USENIX-Security)
Network and Distributed System Security Symposium (NDSS)
