Scholar
Alexios Lekidis
Google Scholar ID: 6fna28gAAAAJ
University of Thessaly
Smart Energy Systems
Industrial Internet of Things
Network Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,078
H-index
17
i10-index
25
Publications
20
Co-authors
109
list available
Publications
12 items
Constrained-Action AI Remediation for SIEM/XDR via a NeMo-Guardrails Proxy
2026
Cited
0
Hybrid Hierarchical Runtime Verification for Edge-IoT Security: Combining MonPoly and RTLola
2026
Cited
0
Hierarchical Security Monitoring for Edge-IoT: A Formal Methods Approach
2026
Cited
0
Formal Runtime Verification for Tool-Using LLM Agents: An Offline Same-Benchmark Study on AgentDojo and STAC
2026
Cited
0
Quantifying the Privacy Posture of Operator-Side 5G/O-RAN Profiles
2026
Cited
0
Preparing an AI-Augmented SIEM for the EU Cyber Resilience Act: A Practitioner Case Study
2026
Cited
0
The Amplifier Effect: Human-Factor Risks of AI-Suggested Correlation and Auto-Propagation in Multi-Framework GRC Self-Assessment
2026
Cited
0
Multi-Aspect Runtime Verification for Simulation-Based V&V of LLM-Enabled Autonomous Agents
2026
Cited
0
Load more
Co-authors
10 total
Hugo Morais
INESC-ID
Panagiotis Katsaros
Professor of Computer Science, Aristotle University of Thessaloniki, Greece
Vangelis Marinakis
Assistant Professor, School of Electrical & Computer Eng, National Technical University of Athens
Ismail Butun
Department of Electrical and Computer Engineering, KTH Royal Institute of Technology
Elissaios Sarmas
Research Associate, National Technical University of Athens
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Alberto Huertas Celdran
University of Murcia
José María Jorquera Valero
Senior Researcher, Universidad de Murcia
