Personal
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)