Skip to content

Author

A. Lekidis

We have 9 of 57 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

CYBERFORT: A Compliance-Chain Platform Operationalising the Cyber Resilience Act for SMEs

The EU Cyber Resilience Act (CRA) turns product cybersecurity into a lifecycle compliance obligation for manufacturers, importers, distributors, and integrators of products with digital elements on the EU market, a load that falls largely on small and medium-sized enterprises (SMEs) that rarely have dedicated governanc...

Nikolaos Kekatos, Georgios Koutidis, Mihaela Curcă et al. · 1 citation
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
Book Open access Oct 2026

Formal Runtime Verification for Tool-Using LLM Agents: An Offline Same-Benchmark Study on AgentDojo and STAC

Results show that formal temporal monitoring adds value exactly when the trace exposes trustworthy history, and quantify how far current benchmarks are from that point and propose a twelve-field enforcement-ready trace schema.

Nikolaos Kekatos, Stylianos Basagiannis, Marinelio Chintri et al. · 2 citations
#small language model Preprint Oct 2026

Preparing an AI-Augmented SIEM for the EU Cyber Resilience Act: A Practitioner Case Study

This case study documents a CRA preparedness pilot for one such product, SEUXDR, an AI-augmented security monitoring product with a large-language-model active-response component on the open-source CYBERFORT platform, and offers practitioners a replicable starting point for translating CRA legal text into operational p...

Georgios Koutidis, Nikolaos Kekatos, Marina Korgiala-Karyda et al. · 0 citations
Open access Jul 2026

Next-Gen Security Operation Center Services for Critical National Infrastructures

A new approach for automating the orchestration of the incident lifecycle through next-generation SOC services able to detect/mitigate sophisticated attacks against CNIs, but also implement proactive detection and mitigation measures against zero-day threats is presented.

A. Lekidis, Yagmur Yigit, Leandros A. Maglaras et al. · 0 citations
Open access Jul 2026

Evaluation Framework for Cross-Layer Intrusion Detection Based on ML Approaches

This work proposed a modular weight-based framework that evaluates cross-layer Machine Learning (ML) IDS across multiple dimensions, namely, detection effectiveness and generalizability, data quality, and attack coverage and practical deployability, and applied this framework to the state-of-the-art cross-layer ML IDS...

Dimitrios Tasiopoulos, A. Xenakis, A. Lekidis 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

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.