New Privacy Threat on 3G, 4G, and Upcoming 5G AKA Protocols
An efficient cryptographic protocol verifier based on prolog rules