IEEE Computer Security Foundations Symposium (CSF)
Symbolic Parallel Composition for Multi-language Protocol Verification
IEEE 38th Computer Security Foundations Symposium (CSF)
Symbolic Parallel Composition for Multi-language Protocol Verification
ACM Conference on Computer and Communications Security (CCS)