|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|
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.