Preprint
Aug 2026
Verification-Guided Specification Synthesis with Large Language Models for Intrusion Detection Rules
This study presents a verification-guided specification synthesis framework for generating Suricata rules directly from HTTP request traces, which achieves a detection rate of 81.5% while maintaining a false positive rate of 0.0%.
Kohei Yamamoto, Marie Katsurai
· 0 citations