Find It With A Pencil: An Efficient Approach for Vulnerability Detection in Authentication Protocols | IEEE Journals & Magazine | IEEE Xplore