Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying.

Helmut Seidl, Kumar Neeraj Verma

Browse the full LPAR paper archive.