TAPS: a first-order verifier for cryptographic protocols | IEEE Conference Publication | IEEE Xplore