194 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Aristotle University of ThessalonikiGR10 papers
- University of IoanninaGR3 papers
- University of ThessalyGR3 papers
- Kingston University LondonGB2 papers
- National and Kapodistrian University of AthensGR2 papers
- University of SheffieldGB2 papers
- University of Western MacedoniaGR2 papers
- Agricultural University of AthensGR1 paper
- Complexity Science HubAT1 paper
- Directorate-General for Research and InnovationBE1 paper
- European CommissionBE1 paper
- Greek Association of Alzheimer's Disease and Related DisordersGR1 paper
3 papers · 1 filter
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…
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…
Comparative Review of Malware Analysis Methodologies
Ioannis G. Kiachidis, Dimitrios A. Baltatzis
To fight against the evolution of malware and its development, the specific methodologies that are applied by the malware analysts are crucial. Yet, this is something often overloo…