Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR | IEEE Conference Publication | IEEE Xplore