SpecGuard: Detecting Multi-Turn LLM Jailbreaks via Specification-Based Runtime Monitoring
Proposes SpecGuard, a training-free framework that monitors multi-turn LLM dialogues against LTL safety specifications compiled into automata, outperforming open guard models with auditable witnesses.