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.
ACM Conference on Computer and Communications Security (CCS)
IEEE Computer Security Foundations Symposium (CSF)
Symposium on Principles of Programming Languages (POPL)
ACM Conference on Computer and Communications Security (CCS)
Usenix Security Symposium (USENIX-Security)
