A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.

James P. Delgrande, Torsten Grote, Aaron Hunter

Browse the full LPNMR paper archive.