IEEE Computer Security Foundations Symposium (CSF) Verifying and Monitoring the Lightweight Directory Access Protocal (LDAP)
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) SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols
IEEE Computer Security Foundations Symposium (CSF) Computational-Bounded Robust Compilation and Universally Composable Security
