Automated Verification of Selected Equivalences for Security Protocols.

Bruno Blanchet, Martn Abadi, Cdric Fournet

Browse the full LICS paper archive.