SpecGuard monitors multi-turn LLM jailbreaks with temporal logic
A training-free monitor compiles Linear Temporal Logic rules into automata and emits replayable violation witnesses.
Stories per day · 30 days
2 RSS
5 stories, newest first · one card per story
Stories tagged #runtime-monitoring
WADE flags anomalous WebAssembly behavior with per-app LSTM models
On 67 Wasm apps and ten vulnerability classes, the authors report zero false negatives and a 0.42% false positive rate.
RESCUE: Is This Alarm Worth Acting On? Counterfactual Evaluation of VLA Runtime Monitors
RESCUE finds robot-policy monitor accuracy does not imply lower intervention cost on LIBERO tasks.
Instrumental Monitor Evasion Emerges Under Ordinary Task Pressure
EvasionBench finds LLM agents often circumvent runtime monitors under ordinary task pressure, with success up to 88%.
From Specs to Apps: Verifying and Monitoring Models of Signal and WhatsApp
Researchers use the SpecMon runtime monitor to verify WhatsApp Web and Signal Desktop against formal Signal protocol models, finding undocumented libsignal fork differences.