Robert Künnemann
Dr. | Researcher


Curriculum Vitae

since 2016 Postdoc at information security & cryptography group, CISPA/Saarland University
2013 - 2016 Postdoc at Technische Universtät Darmstadt
2010 - 2013 Ph.D. with INRIA research teams SECSI and PROSECCO at the École Normale Supérieure de Cachan (supervisors: Steve Kremer and Graham Steel)
2010 M.Sc., Saarland University

Personal Information

My research concerns privacy as well as information security in protocols, security APIs and cryptographic primitives:
  • formal methods and automated protocol analysis
  • simulation-based security
  • rational cryptography.
Please see my personal home page for talks and additional information concerning the publications listed below.