Robert Künnemann, Ph.D.
Publications & Talks
Contact & Short CV
My research concerns accountability and information security in protocols,
and cryptographic primitives, as well as simulated pentesting based on planning.
Most Recent publication
Robert Künnemann, Ilkan Esiyok, and Michael Backes. “Automated Verification of Accountability in Security Protocols.” CSF 2019 (distinguished paper) (
PDF (long version)
Create your own unique website with customizable templates.