Author

Panagiotis Katsaros

h-index 3 View on Semantic Scholar

We have 5 of 9 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

A Resilient Runtime-Verification Fabric for Security Monitoring of Critical Edge-IoT Infrastructure

Protecting critical infrastructure increasingly depends on continuously verifying large IoT fleets against formal security specifications at runtime. Yet the runtime-verification (RV) pipelines proposed for this task are typically single-host prototypes whose monitors read a shared log file, with no resilience to the f...

Nikolaos Kekatos, Marinelio Chintri, Panagiotis Katsaros et al. · 4 citations

Preprint Oct 2026

Hierarchical Security Monitoring for Edge-IoT: A Formal Methods Approach

Cyber resiliency in edge-IoT deployments is fundamentally an economic problem: detection must keep critical processes operating under attack, but defender resources (compute, bandwidth, operator attention) are bounded. Centralised cloud monitoring offers expressive cross-device detection at prohibitive bandwidth cost;...

Nikolaos Kekatos, Marinelio Chintri, Panagiotis Katsaros et al. · 6 citations

#artificial intelligence Preprint Oct 2026

Multi-Aspect Runtime Verification for Simulation-Based V&V of LLM-Enabled Autonomous Agents

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 not available as a control because models arrive as procured components. What can be placed under engineering control is the interface between...

Nikolaos Kekatos, D. Nikou, Anastasios Temperekidis et al. · 0 citations

#artificial intelligence Preprint Sep 2026

Architecting the Secure AI-SOC: A Neurosymbolic Framework for Pipeline Integrity and Threat Mitigation

A novel neurosymbolic defense-in-depth architecture that ensures end-to-end pipeline integrity and dismantles the promptware kill chain, bounding LLM stochasticity with verifiable constraints, and delivering a resilient, highly observable defense mechanism for next-generation AI-SOCs.

Anna Gazani, Spyridon Kounoupidis, Panagiotis Katsaros et al. · 0 citations

#artificial intelligence Preprint Jul 2026

Mission-Level Runtime Assurance for LLM-Assisted ISR Swarms over a Verification-Aware Fabric

Swarms of LLM-assisted autonomous robots are increasingly proposed for cooperative intelligence, surveillance, and reconnaissance (ISR) in contested environments. A growing class of their assurance failures arises not within any single platform but across the swarm: individually-compliant actions compose into a mission...

Nikolaos Kekatos, Stylianos Basagiannis, Panagiotis Katsaros et al. · 0 citations