# Find It With A Pencil: An Efficient Approach for Vulnerability Detection in Authentication Protocols

> Research article (IEEE Transactions on Information Forensics and Security, 2023) · cited 10× · AI/ML

**Wikidata**: [openalex:W4360994026](https://www.wikidata.org/wiki/openalex:W4360994026)  
**Source**: https://4ort.xyz/entity/find-it-with-a-pencil-an-efficient-approach-for-vulnerability-detection-in-authentication-protocols
