Klaas Ole Kürtz

According to our database, Klaas Ole Kürtz authored at least 4 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Secure Two-Round Message Exchange.

Klaas Ole Kürtz

PhD thesis, 2011

2009

A Simulation-Based Treatment of Authenticated Message Exchange.

Klaas Ole Kürtz, Henning Schnoor, Thomas Wilke

IACR Cryptol. ePrint Arch., 2009

Computationally Secure Two-Round Authenticated Message Exchange.

Klaas Ole Kürtz, Henning Schnoor, Thomas Wilke

IACR Cryptol. ePrint Arch., 2009

2007

Selecting theories and nonce generation for recursive protocols.

Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007