Verification of low-level crypto-protocol implementations using automated theorem proving | IEEE Conference Publication | IEEE Xplore