Hybrid Hierarchical Runtime Verification for Edge-IoT Security: Combining MonPoly and RTLola

arXiv:2610.09825 · cs.CR, cs.DC, cs.LO · Submitted 2026-10-07 · Read on arXiv

cs.CR, cs.DC, cs.LO

Submitted: 2026-10-07

Updated: 2026-10-07

Terminology

Verification — 18× in this paper · explained in 2 episodes
Actor — 17× in this paper · explained in 3 episodes
Runtime Verification — 13× in this paper
Trace — 7× in this paper · explained in 2 episodes
Abstraction — 6× in this paper · explained in 1 episode
Aggregation — 5× in this paper · explained in 1 episode
Digital Twin — 4× in this paper · explained in 5 episodes
Calibration — 2× in this paper · explained in 7 episodes
Computer Aided Verification — 2× in this paper
Core — 2× in this paper · explained in 2 episodes
Formal Methods — 2× in this paper · explained in 3 episodes
Ablation — 1× in this paper · explained in 1 episode
Accuracy — 1× in this paper · explained in 1 episode
Alignment — 1× in this paper · explained in 1 episode
Benchmark — 1× in this paper · explained in 2 episodes
Dependable Systems and Networks — 1× in this paper
Edge Devices — 1× in this paper · explained in 2 episodes
Reinforcement Learning — 1× in this paper · explained in 4 episodes
SMT solver — 1× in this paper · explained in 2 episodes

Sources

MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents

Related papers