5 citations · 6 across the 6 of their papers we have counts for
12 papers
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…
The algebraic classification of five-dimensional nilpotent right alternative algebras
Zohida Raxmatova, Aloberdi Sattarov
We develop the method of central extensions (the Skjelbred--Sund method) for nilpotent right alternative algebras over the field of complex numbers and apply it to obtain the algeb…
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…
Multi-Aspect Runtime Verification for Simulation-Based V&V of LLM-Enabled Autonomous Agents
Nikolaos Kekatos, Dimitrios Nikou, Anastasios Temperekidis +4
LLM-based agents are entering decision-support roles in defence staff work, where the obligations they must respect are already written down and binding, and where retraining is no…
Mission-Aware Attestation Envelopes for Time-Critical Autonomous Action: A Hardware-in-the-Loop V2I Study
Dimitrios Nikou, Nikolaos Kekatos, Sophia Petridou +1
An autonomous system that asks for a privileged physical action is usually gated on integrity evidence: a platform proves what it is running, and the request is granted or refused…
Explainable Rule Mining of IPv6 Extension-Header Presence Patterns from Paired-Vantage Captures
Priyanka Sinha, Nikolaos Kekatos, Stylianos Basagiannis +5
IPv6 extension headers (EHs), such as fragmentation, segment routing, and in-situ telemetry, are operationally important yetwidely dropped in transit, and characterising their beha…