Author

G. Spanoudakis

h-index 32 View on Semantic Scholar

We have 2 of 246 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.

Open access Jul 2026

Next-Gen Security Operation Center Services for Critical National Infrastructures

A new approach for automating the orchestration of the incident lifecycle through next-generation SOC services able to detect/mitigate sophisticated attacks against CNIs, but also implement proactive detection and mitigation measures against zero-day threats is presented.

A. Lekidis, Yagmur Yigit, Leandros A. Maglaras et al. · Electronics · 0 citations

Cloud Certiﬁcation Process Validation using Formal Methods

This work has developed an approach that formalises certiﬁcation processes, by translating them in the language of the Prism model-checker and uses Prism to verify properties of interest on the model of the certi-ﬁcation process, under speciﬁc environmental assumptions.

Maria Krotsiani, C. Kloukinas, G. Spanoudakis · 0 citations