Automated Analysis of Cryptographic Assumptions in Generic Group Models | Publicación