194 citations
- Aristotle University of ThessalonikiGR10 papers
- University of IoanninaGR3 papers
- University of ThessalyGR3 papers
- Kingston University LondonGB2 papers
- National and Kapodistrian University of AthensGR2 papers
- University of SheffieldGB2 papers
- University of Western MacedoniaGR2 papers
- Agricultural University of AthensGR1 paper
- Complexity Science HubAT1 paper
- Directorate-General for Research and InnovationBE1 paper
- European CommissionBE1 paper
- Greek Association of Alzheimer's Disease and Related DisordersGR1 paper
Showing 2026 · cs.CRShow all
2 papers · 2 filters
cs.CR2026★ 1 cited
Hybrid Hierarchical Runtime Verification for Edge-IoT Security: Combining MonPoly and RTLola
Nikolaos Kekatos, Marinelio Chintri, Panagiotis Katsaros +5
Security monitoring of edge-IoT fleets faces three structural challenges. (i) A per-node monitor is cheap but cannot see attacks that coordinate across devices. (ii) A cloud monito…
cs.CR2026
Formal Runtime Verification for Tool-Using LLM Agents: An Offline Same-Benchmark Study on AgentDojo and STAC
Nikolaos Kekatos, Stylianos Basagiannis, Marinelio Chintri +5
Guardrails for tool-using LLM agents are usually application-specific rules, which makes multi-step, data-dependent safety policies hard to specify, audit and reuse. As a declarati…