Author

A. Lekidis

h-index 13 View on Semantic Scholar

We have 5 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.

Book Open access Nov 2026

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

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 declarative alternative, we evaluate metric first-order temporal logic (MFOTL), replaying the recorded trajectories that AgentDojo, STAC and R-Judge...

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. · Electronics · 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. · Electronics · 0 citations

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