Selecting theories and nonce generation for recursive protocols. - Klaas Ole Kürtz; Ralf Küsters; Thomas Wilke (FMSE, 2007)

A Simulation-Based Treatment of Authenticated Message Exchange. - Klaas Ole Kürtz; Henning Schnoor; Thomas Wilke (ASIAN, 2009)

Computationally secure two-round authenticated message exchange. - Klaas Ole Kürtz; Henning Schnoor; Thomas Wilke (AsiaCCS, 2010)

Secure Two-Round Message Exchange. - Klaas Ole Kürtz (2011)