Security Analysis of Crypto-based Java Programs using Automated Theorem Provers | Publicación