Research Interests

My research concerns accountability and information security in protocols, security APIs 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 | PDF (long version))