Rewriting for Cryptographic Protocol Verification.

Thomas Genet, Francis Klay

Browse the full CADE paper archive.