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

Attacks against Internet-connected IoT devices continue to increase; however, transforming observed attack traffic into deployable intrusion detection system IDS rules remains largely a manual process. Recent studies have explored using large language models LLMs to generate IDS rules; nonetheles...