Automated Identification of Desynchronisation Attacks on Shared Secrets | Publicación