8 citations · 18 across the 12 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.CR2024
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…
cs.SE2024
Finding Cross-rule Optimization Bugs in Datalog Engines
Chi Zhang, Linzhang Wang, Manuel Rigger
Datalog is a popular and widely-used declarative logic programming language. Datalog engines apply many cross-rule optimizations; bugs in them can cause incorrect results. To detec…