# Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents

> Research article (2022 IEEE Symposium on Security and Privacy (SP), 2022) · cited 48× · AI/ML

**Wikidata**: [openalex:W4288057700](https://www.wikidata.org/wiki/openalex:W4288057700)  
**Source**: https://4ort.xyz/entity/automated-attack-synthesis-by-extracting-finite-state-machines-from-protocol-specification-documents