Robert Künnemann, Ph.D.
  • Home
  • Publications & Talks
  • Contact & Short CV

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))
Picture
Powered by Create your own unique website with customizable templates.