Selecting theories and nonce generation for recursive protocols.

Klaas Ole Krtz, Ralf Ksters, Thomas Wilke

Browse the full CCS paper archive.