Dr. Detlef Kähler
| Funktion function | Wissenschaftlicher Mitarbeiter |
| kaehler@ti.informatik.uni-kiel.de |
Research Interests
- Analysis of Cryptographic Protocols
- Contract Signing Protocols
Publications
2009
[KahlerKustersWilke-TOCL-2009 | .bib]
D. Kähler, R. Küsters, and T. Wilke, "Deciding properties of contract-signing protocols," Transactions on Computational Logic, 2009.
@Article{KahlerKustersWilke-TOCL-2009,
author = {Kähler, Detlef and Küsters, Ralf and Wilke, Thomas},
title = {Deciding properties of contract-signing protocols},
journal = {Transactions on Computational Logic},
year = 2009}
2008
[KahlerWilke-ICALP-2008 | .bib]
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.
@inproceedings{KahlerWilke-ICALP-2008,
author = {Detlef K{\"a}hler and Thomas Wilke},
title = {Complementation, Disambiguation, and Determinization of B{\"u}chi Automata Unified},
booktitle = {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},
editor = {Luca Aceto and Ivan Damg{\aa}rd and Leslie Ann Goldberg and Magn{\'u}s M. Halld{\'o}rsson and Anna Ing{\'o}lfsd{\'o}ttir and Igor Walukiewicz},
year = {2008},
pages = {724-735},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5125}
}
2007
[KahlerKustersTruderung-2007 | .bib]
D. Kähler, R. Küsters, and T. Truderung, "Infinite State AMC-Model Checking for Cryptographic Protocols," in LICS, 2007, pp. 181-192.
@INPROCEEDINGS{KahlerKustersTruderung-2007,
author = {Detlef Kähler and Ralf Küsters and Tomasz Truderung},
title = {Infinite State AMC-Model Checking for Cryptographic Protocols},
booktitle = {LICS},
year = {2007},
crossref = {DBLP:conf/lics/2007},
pages = {181-192}
}
2006
[KahlerKustersWilke-2006 | .bib]
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.
@INPROCEEDINGS{KahlerKustersWilke-2006,
author = {Detlef Kähler and Ralf Küsters and Thomas Wilke},
title = {A Dolev-Yao-Based Definition of Abuse-Free Protocols},
year = {2006},
crossref = {DBLP:conf/icalp/2006-2},
booktitle = {ICALP (2)},
pages = {95--106},
ee = {http://dx.doi.org/10.1007/11787006_9}
}
2005
[KahlerKusters-2005 | .bib]
D. Kähler and R. Küsters, "Constraint Solving for Contract-Signing Protocols," in CONCUR, 2005, pp. 233-247.
@INPROCEEDINGS{KahlerKusters-2005,
author = {Detlef Kähler and Ralf Küsters},
title = {Constraint Solving for Contract-Signing Protocols},
booktitle = {CONCUR},
year = {2005},
pages = {233-247}
}
[KahlerKustersWilke-2005 | .bib]
D. Kähler, R. Küsters, and T. Wilke, "Deciding Properties of Contract-Signing Protocols," in STACS, 2005, pp. 158-169.
@INPROCEEDINGS{KahlerKustersWilke-2005,
author = {Detlef Kähler and Ralf Küsters and Thomas Wilke},
title = {Deciding Properties of Contract-Signing Protocols},
year = {2005},
crossref = {DBLP:conf/stacs/2005},
booktitle = {STACS},
pages = {158-169}
}
2003
[KahlerWilke-2003 | .bib]
D. Kähler and T. Wilke, "Program Complexity of Dynamic LTL Model Checking," in CSL, 2003, pp. 271-284.
@INPROCEEDINGS{KahlerWilke-2003,
author = {Detlef Kähler and Thomas Wilke},
title = {Program Complexity of Dynamic LTL Model Checking},
year = {2003},
crossref = {DBLP:conf/csl/2003},
booktitle = {CSL},
pages = {271-284}
}
2001
[Kahler-DA-2001 | .pdf | .bib]
D. Kähler, "Determinisierung von Omega-Automaten", Diplomarbeit, 2001.
@MASTERSTHESIS{Kahler-DA-2001,
author = {Detlef Kähler},
title = {Determinisierung von Omega-Automaten},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2001},
type = {Diplomarbeit},
url = {http://www.ti.informatik.uni-kiel.de/wp-content/uploads/pubs/DA-Kaehler.pdf}
}