Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols | IEEE Conference Publication | IEEE Xplore