Reproduce “Hybrid Hierarchical Runtime Verification for Edge-IoT Security: Combining MonPoly and RTLola” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.

Universal app for Apple silicon and Intel. Requires macOS 11 or later.

About this paper

Nikolaos Kekatos, Marinelio Chintri, Panagiotis Katsaros, Alexios Lekidis, Tom Nianios, Ioannis Seitoglou, Anastasios Temperekidis, Stylianos Basagiannis

Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.