Research Group
Künnemann
My research concerns accountability and information security in protocols, security APIs and cryptographic primitives, as well as simulated pentesting based on planning.
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
