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

Comments: 19 pages, 2 figures, 7 tables. Published in Availability, Reliability and Security (ARES 2026), EU Projects Symposium Workshops, Springer LNCS

Journal ref: Availability, Reliability and Security (ARES 2026), EU Projects Symposium Workshops, LNCS, Springer, 2027, pp. 222-240

DOI: 10.1007/978-3-032-37218-5_14

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

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

Terminology

Sources

Related papers