The following paper will be presented at CIKM 2026 (Short Paper Track).
- Verification-Guided Specification Synthesis with Large Language Models for Intrusion Detection Rules
- Kohei Yamamoto and Marie Katsurai
- Acceptance rate: 30.9%
The following paper will be presented at CIKM 2026 (Short Paper Track).