20 citations · 42 across the 8 of their papers we have counts for
16 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…
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…
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…
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 (…
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…
Home Energy Management Systems: Challenges, Heterogeneity & Integration Architecture Towards A Smart City Ecosystem
Georgios Kormpakis, Alexios Lekidis, Elissaios Sarmas +4
The contemporary era is marked by rapid urban growth and increasing population. A significant, and constantly growing, portion of the global population now resides in major cities,…
Towards Incident Response Orchestration and Automation for the Advanced Metering Infrastructure
Alexios Lekidis, Vasileios Mavroeidis, Konstantinos Fysarakis
The threat landscape of industrial infrastructures has expanded exponentially over the last few years. Such infrastructures include services such as the smart meter data exchange t…
PHOENI2X -- A European Cyber Resilience Framework With Artificial-Intelligence-Assisted Orchestration, Automation and Response Capabilities for Business Continuity and Recovery, Incident Response, and Information Exchange
Konstantinos Fysarakis, Alexios Lekidis, Vasileios Mavroeidis +15
As digital technologies become more pervasive in society and the economy, cybersecurity incidents become more frequent and impactful. According to the NIS and NIS2 Directives, EU M…
Cyber-attack TTP analysis for EPES systems
Alexios Lekidis
The electrical grid consists of legacy systems that were built with no security in mind. As we move towards the Industry 4.0 area though, a high-degree of automation and connectivi…
Model-Based Design of Energy-Efficient Applications for IoT Systems
Alexios Lekidis, Panagiotis Katsaros
A major challenge that is currently faced in the design of applications for the Internet of Things (IoT) concerns with the optimal use of available energy resources given the batte…