Security Analysis of Crypto-based Java Programs using Automated Theorem Provers | IEEE Conference Publication | IEEE Xplore