Author

Nikolaos Kekatos

h-index 2 View on Semantic Scholar

We have 6 of 8 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.

#artificial intelligence Review Oct 2026

From Sandbox to Enforcement: Confidence-Qualified Threat Intelligence for Critical Infrastructure

Security operations centres and national incident-response teams defending critical infrastructure collect abundant threat data yet struggle to turn it into actionable intelligence. A malware sandbox produces detailed behavioural evidence, but as a large, unranked report whose confidence is unstated. We present CG-CTI,...

Nikolaos Kekatos, Mihaela Curcă, Georgios Koutidis et al. · 0 citations

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

#federated learning Preprint Oct 2026

Quantifying the Privacy Posture of Operator-Side 5G/O-RAN Profiles

This work quantifies privacy posture with k-anonymity, l-diversity and t-closeness, aggregate them into a composite Privacy-Posture Index (PPI), and measures residual re-identification across eight transformation configurations on internal PCAP captures and the public Idaho Labs 5GAD corpus.

Nikolaos Kekatos, Apostolos Valiakos, Alexios Lekidis et al. · 0 citations

#natural language process... Review Sep 2026

SoK: Formal Methods for Fact-Checking and Information Integrity

An automated fact-checking system returns a label: the claim is true, or it is false. In many such systems the verdict remains the primary output. What is generally missing is a record of which document settled the question, of what would have had to be different for the verdict to change, or of whether the same claim,...

Nikolaos Kekatos, Theodoros Nestoridis, Charalampos Bratsas et al. · 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