2 citations · 3 across the 7 of their papers we have counts for
18 papers
CYBERFORT: A Compliance-Chain Platform Operationalising the Cyber Resilience Act for SMEs
Nikolaos Kekatos, Georgios Koutidis, Mihaela Curcă +8
The EU Cyber Resilience Act (CRA) turns product cybersecurity into a lifecycle compliance obligation for manufacturers, importers, distributors, and integrators of products with di…
Constrained-Action AI Remediation for SIEM/XDR via a NeMo-Guardrails Proxy
Georgios Koutidis, Nikolaos Kekatos, Tom Nianios +1
Security Operations Centers (SOCs) for information technology and operational technology share one incident-response problem: a flood of correlated alerts and too few analysts. Lar…
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…
Quantifying the Privacy Posture of Operator-Side 5G/O-RAN Profiles
Nikolaos Kekatos, Apostolos Valiakos, Alexios Lekidis +1
Operator-side network profiles derived from 5G/ORAN traffic carry personal data such as ephemeral subscriber identifiers, slice-level KPIs, and control-plane signalling, and must b…
Preparing an AI-Augmented SIEM for the EU Cyber Resilience Act: A Practitioner Case Study
Georgios Koutidis, Nikolaos Kekatos, Marina Korgiala-Karyda +2
The EU Cyber Resilience Act (CRA), Regulation (EU) 2024/2847, makes product cybersecurity a lifecycle obligation for products with digital elements on the EU market: risk assessmen…
The Amplifier Effect: Human-Factor Risks of AI-Suggested Correlation and Auto-Propagation in Multi-Framework GRC Self-Assessment
Nikolaos Kekatos, Michael Ioannou, Marina Korgiala-Karyda +2
Multi-framework Governance, Risk and Compliance (GRC) platforms increasingly automate the link between an organisation's self-assessment answer and the compliance obligations that…
From Sandbox to Enforcement: Confidence-Qualified Threat Intelligence for Critical Infrastructure
Nikolaos Kekatos, Mihaela Curcă, Georgios Koutidis +5
Security operations centres and national incident-response teams defending critical infrastructure collect abundant threat data yet struggle to turn it into actionable intelligence…
A Resilient Runtime-Verification Fabric for Security Monitoring of Critical Edge-IoT Infrastructure
Nikolaos Kekatos, Marinelio Chintri, Panagiotis Katsaros +5
Protecting critical infrastructure increasingly depends on continuously verifying large IoT fleets against formal security specifications at runtime. Yet the runtime-verification (…
SoK: Formal Methods for Fact-Checking and Information Integrity
Nikolaos Kekatos, Theodoros Nestoridis, Charalampos Bratsas +5
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 re…
Architecting the Secure AI-SOC: A Neurosymbolic Framework for Pipeline Integrity and Threat Mitigation
Anna Gazani, Spyridon Kounoupidis, Panagiotis Katsaros +3
The integration of Large Language Models (LLMs) into Security Operations Centers (SOCs) streamlines threat intelligence but introduces critical vulnerabilities, notably indirect pr…
Mission-Level Runtime Assurance for LLM-Assisted ISR Swarms over a Verification-Aware Fabric
Nikolaos Kekatos, Michael Ioannou, Panagiotis Katsaros +4
Swarms of LLM-assisted autonomous robots are increasingly proposed for cooperative intelligence, surveillance, and reconnaissance (ISR) in contested environments. A growing class o…
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
Thao Dang, Alexandre Donzé, Inzemamul Haque +2
We present a novel method for imitation learning for control requirements expressed using Signal Temporal Logic (STL). More concretely we focus on the problem of training a neural…
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle
Mohamed AbdElSalam, Loai Ali, Saddek Bensalem +6
In this paper, we present a novel digital twin prototype for a learning-enabled self-driving vehicle. The primary objective of this digital twin is to perform traffic sign recognit…