Dipl.-Inf. Klaas Ole Kürtz

Dipl.-Inf. Klaas Ole Kürtz

Funktion function Wissenschaftlicher Mitarbeiter
Telefon phone +49 (0)431 880 7513
Fax +49 (0)431 880 7614
E-Mail 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

2007

[Kurtz-2007 | .pdf | .bib]

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{\”u}rtz},
  title = {Selecting Theories and Nonce Generation for Recursive Protocols},
  institution = {Institut f{\”u}r Informatik, CAU Kiel, Germany},
  year = {2007},
  number = {0709},
  url = {http://www.informatik.uni-kiel.de/uploads/tx_publication/TR_0709_01.pdf}
}

[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{\”u}rtz and Ralf K{\”u}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}
}

2006

[Kurtz-DA-2006 | .pdf | .bib]

K. O. Kürtz, "Automatic Analysis of Recursive Cryptographic Protocols", Diplomarbeit, 2006.

@MASTERSTHESIS{Kurtz-DA-2006,
  author = {Klaas Ole K{\”u}rtz},
  title = {Automatic Analysis of Recursive Cryptographic Protocols},
  school = {Institut f{\”u}r Informatik, Christian-Albrechts-Universit{\”a}t zu Kiel},
  year = {2006},
  type = {Diplomarbeit},
  url = {http://www.ti.informatik.uni-kiel.de/pubs/DA-Kuertz.pdf}
}