Dipl.-Inf. Klaas Ole Kürtz
| Funktion function | Wissenschaftlicher Mitarbeiter |
| Telefon phone | +49 (0)431 880 7513 |
| Fax | +49 (0)431 880 7614 |
| kuertz@ti.informatik.uni-kiel.de | |
| PGP/GPG Key | 8BD0:7734:2E40:E9B0:6DE9:A26F:A42A:234C:9A9A:34A0 |
| Dienstzimmer office | CAP4, 1016 |
| Sprechzeiten office hours | nach Absprache |
Research Interests
- Analysis of Cryptographic Protocols
- Web Service Security
Publications
2009
[KurtzSchnoorWilke-ASIAN-2009 | .bib]
K. O. Kürtz, H. Schnoor, and T. Wilke, "A Simulation-Based Treatment of Authenticated Message Exchange," in Advances in Computer Science – ASIAN 2009, 14th Asian Computing Science Conference, Proceedings, 2009.
@InProceedings{KurtzSchnoorWilke-ASIAN-2009,
author = {K{\"u}rtz, Klaas Ole and Schnoor, Henning and Wilke, Thomas},
title = {A Simulation-Based Treatment of Authenticated Message Exchange},
booktitle = {Advances in Computer Science - ASIAN 2009, 14th Asian Computing Science Conference, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2009},
note = {To appear}
}
[KuertzSchnoorWilke-2MUTAUT-CRYPTEPRINT-2009 | .bib]
K. O. Kuertz, H. Schnoor, and T. Wilke, "Computationally Secure Two-Round Authenticated Message Exchange", 2009.
@TechReport{KuertzSchnoorWilke-2MUTAUT-CRYPTEPRINT-2009,
author = {Klaas Ole Kuertz and Henning Schnoor and Thomas Wilke},
title = {Computationally Secure Two-Round Authenticated Message Exchange},
howpublished = {Cryptology ePrint Archive, Report 2009/262},
year = {2009}
}
2008
[KuertzSchnoorWilke-2MUTAUT-TR-CAU-2008 | .pdf | .bib]
K. O. Kürtz, H. Schnoor, and T. Wilke, "Computationally Secure Two-Round Authenticated Message Exchange", Institut für Informatik, Christian-Albrechts-Universität zu Kiel, 0809, 2008.
@TechReport{KuertzSchnoorWilke-2MUTAUT-TR-CAU-2008,
author = {Klaas Ole K\"urtz and Henning Schnoor and Thomas Wilke},
title = {Computationally Secure Two-Round Authenticated Message Exchange},
institution = {Institut f{\"u}r Informatik, Christian-Albrechts-Universit{\"a}t zu Kiel},
year = {2008},
number = {0809},
url = {http://www.informatik.uni-kiel.de/uploads/tx_publication/tr0810.pdf}
}
2007
[KurtzKustersWilke-2007 | .bib]
K. O. Kürtz, R. Küsters, and T. Wilke, "Selecting Theories and Nonce Generation for Recursive Protocols." 2007, pp. 61-70.
@INPROCEEDINGS{KurtzKustersWilke-2007,
author = {Klaas Ole Kürtz and Ralf Küsters and Thomas Wilke},
title = {Selecting Theories and Nonce Generation for Recursive Protocols},
year = {2007},
crossref = {DBLP:conf/ccs/2007fmse},
pages = {61--70},
publisher = {ACM},
doi = {10.1145/1314436.1314445}
}
K. O. Kürtz, "Selecting Theories and Nonce Generation for Recursive Protocols", Institut für Informatik, CAU Kiel, Germany, 0709, 2007.
@TECHREPORT{Kurtz-2007,
author = {Klaas Ole Kürtz},
title = {Selecting Theories and Nonce Generation for Recursive Protocols},
institution = {Institut für Informatik, CAU Kiel, Germany},
year = {2007},
number = {0709},
url = {http://www.informatik.uni-kiel.de/uploads/tx_publication/TR_0709_01.pdf}
}
2006
K. O. Kürtz, "Automatic Analysis of Recursive Cryptographic Protocols", Diplomarbeit, 2006.
@MASTERSTHESIS{Kurtz-DA-2006,
author = {Klaas Ole Kürtz},
title = {Automatic Analysis of Recursive Cryptographic Protocols},
school = {Institut für Informatik, Christian-Albrechts-Universität zu Kiel},
year = {2006},
type = {Diplomarbeit},
url = {http://www.ti.informatik.uni-kiel.de/wp-content/uploads/pubs/DA-Kuertz.pdf}
}