SPEC: An Equivalence Checker for Security Protocols.

Alwen Tiu, Nam Nguyen, Ross Horne

Browse the full APLAS paper archive.