collaborators

1 paper

cs.CR2025

Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation

Haiyang Wei, Ligeng Chen, Zhengjie Du +7

State machines are essential for enhancing protocol analysis to identify vulnerabilities. However, inferring state machines from network protocol implementations is challenging due…