Verification-Guided Specification Synthesis with Large Language Models for Intrusion Detection Rules

Kohei Yamamoto, Marie Katsurai

Attacks against Internet-connected IoT devices continue to increase; however, transforming observed attack traffic into deployable intrusion detection system (IDS) rules remains la…