Arbeitsgruppe Theoretische Informatik

Dr. Detlef Kähler

Dr. Detlef Kähler

Funktion function   
Gastwissenschaftler
Telefon phone +49 (0)431 880 5604
Fax +49 (0)431 880 7614
E-Mail detlef.kaehler@email.uni-kiel.de
Dienstzimmer  CAP4, 1003


Research Interests

  • Analysis of Cryptographic Protocols
  • Contract Signing Protocols
  • Fachdidaktik der Informatik


Publications

 

2009

D. Kähler, R. Küsters, and T. Wilke, "Deciding properties of contract-signing protocols," Transactions on Computational Logic, 2009.


2008

D. Kähler and T. Wilke, "Complementation, Disambiguation, and Determinization of Büchi Automata Unified," in Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games, 2008, pp. 724-735.

2007

D. Kähler, R. Küsters, and T. Truderung, "Infinite State AMC-Model Checking for Cryptographic Protocols," in LICS, 2007, pp. 181-192.

2006

D. Kähler, R. Küsters, and T. Wilke, "A Dolev-Yao-Based Definition of Abuse-Free Protocols," in ICALP (2), 2006, pp. 95-106.

2005

D. Kähler, R. Küsters, and T. Wilke, "Deciding Properties of Contract-Signing Protocols," in STACS, 2005, pp. 158-169.
D. Kähler and R. Küsters, "Constraint Solving for Contract-Signing Protocols," in CONCUR, 2005, pp. 233-247.

2003

D. Kähler and T. Wilke, "Program Complexity of Dynamic LTL Model Checking," in CSL, 2003, pp. 271-284.


2001

D. Kähler, "Determinisierung von Omega-Automaten", Diplomarbeit, 2001.