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
Symposium on Principles of Programming Languages (POPL) Computational-Bounded Robust Compilation and Universally Composable Security
