Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model | Publicación