Usenix Security Symposium (USENIX-Security)
IEEE Computer Security Foundations Symposium (CSF)
Workshop on Programming Languages and Analysis for Security (PLAS)