My research concerns accountability and information security in protocols, security APIs and cryptographic primitives:
- formal methods and automated protocol analysis
- simulation-based security
- rational cryptography.
Most Recent publication
Michael Backes, Jannik Dreier, Steve Kremer and Robert Künnemann. "A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and its Application to Fair Exchange". In Proceedings of the 2nd IEEE European Symposium on Security and Privacy (EuroS&P'17). IEEE, 2017. accepted for publication. (PDF | PDF (long version) | code + model files)