Verifying Cryptographic Protocols with Subterms Constraints.

Yannick Chevalier, Denis Lugiez, Michal Rusinowitch

Browse the full LPAR paper archive.