Verification of Cryptographic Protocols: Tagging Enforces Termination.

Bruno Blanchet, Andreas Podelski

Browse the full FOSSACS paper archive.