Automated Analysis of Cryptographic Constructions | Publicación