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
