IEEE Computer Security Foundations Symposium (CSF)
ACM Conference on Computer and Communications Security (CCS)
IEEE Computer Security Foundations Symposium (CSF)
Symposium on Principles of Programming Languages (POPL)
ACM Conference on Computer and Communications Security (CCS)
