# Eleftherios Zacharioudakis

Public portfolio: https://lefteriszach.com/

Profile record updated: October 12, 2026. Software records reviewed: 2026-10-12.

This is a build-time text snapshot of the curated public portfolio. The [publications page](https://lefteriszach.com/publications) may include newer source updates. See [source notes](https://lefteriszach.com/sources) for provenance and qualifications.

## Profile and contact

Also known as: Lefteris Zacharioudakis

Cybersecurity, cryptography and dependable computing

I study secure user authentication and the reliability of computer systems. My work includes zero-knowledge identification, fault-tolerant multiprocessor models, and the use of AI in cyber defense.

I am a Visiting Lecturer in Computer Science at the American University of Beirut – Mediterraneo. Previously, I was an Assistant Professor of Cybersecurity at Neapolis University Pafos. I hold a PhD in Computer Engineering from Igor Sikorsky Kyiv Polytechnic Institute.

Location: Pafos, Cyprus

Email: lefteris@lefteriszach.com

University email: ze00@aubmed.ac.cy

## Funded research

### Smart Beyond

Secure and intelligent IoT systems

Role: Scientific Lead and Concept Originator

Originated the research concept for an industrial R&D project investigating optimal IoT sensor placement, secure device-to-infrastructure communication, and AI/ML-based processing of sensor data for urban systems.

Beneficiary: E SEPIA WEB INNOVATION EE

Project code: ΕΚΠΑΡ01-0071480

OPS code: 6051898

Programme: Research–Innovate, Intervention I · Competitiveness 2021–2027 (ESPA)

Approved public funding (project level): €313,599.86

Total project budget: €391,999.86

Co-funded by the European Regional Development Fund (European Union) and Greek national resources.

Funding decision: 15 January 2026

- Optimal placement of IoT devices and sensor nodes

- Secure and efficient communications with data-hosting infrastructure

- Scalable data-processing architecture using AI and machine learning

[Official funding decision](https://21-27.antagonistikotita.gr/wp-content/uploads/2024/05/20260115_2h_trop_ent_ops_E-K.pdf#page=9)

[Programme source](https://21-27.antagonistikotita.gr/nea-drasi-stratigikis-simasias-tou-programmatos-antagonistikotita-erevno-kainotomo-2021-2027/)

The public source notes identify the technical proposal as evidence for the Scientific Lead role and research scope. Concept origination is biographical information supplied for the portfolio. Planned research outcomes are not completed results.

## Selected research

### Shared security operations for smaller organizations

Conceptual framework · 2025

Co-authored a shared SOC model addressing the cost of security operations for small and medium-sized enterprises. The framework considers multi-tenant architecture, privacy and regulatory requirements; implementation and empirical evaluation are proposed as next steps.

Zacharioudakis & Kakoulli · ICR 2025

[Publication](https://doi.org/10.1007/978-3-031-95652-2_22)

### Reliability models for fault-tolerant computers

Modeling and evaluation · 2026

Co-authored a method for modeling how multiprocessor systems share reserve processors across subsystems. The paper develops a graph-logical construction algorithm and checks model correctness through examples and experiments.

Romankevich et al. · Applied Aspects of Information Technology

[Publication](https://doi.org/10.15276/aait.09.2026.25)

### Large language models in cyber defense

Literature review · 2025

Co-authored a review of LLM applications in threat detection, analysis and response. It examines reported capabilities alongside privacy, security and ethical considerations, and identifies questions for further research.

Kakoulli, Zacharioudakis & Evripidou · EMCIS 2024 proceedings

[Publication](https://doi.org/10.1007/978-3-031-81322-1_5)

### Efficient authentication for remote users

Cryptographic method · 2017

Proposed a zero-knowledge authentication method using one-way Boolean transformations and standard hash functions. The study describes user registration and authentication procedures and compares their computational requirements with earlier approaches.

Zacharioudakis · Scientific Notes of the Ukrainian Research Institute of Communications

[Publication](https://duikt.edu.ua/uploads/p_1538_53947418.pdf?file=p_1538_53947418.pdf)

## Academic appointments

### Visiting Lecturer, Computer Science

American University of Beirut – Mediterraneo

September 2025 – present

[Source](https://orcid.org/0000-0002-9658-3073)

### Assistant Professor of Cybersecurity

Neapolis University Pafos

February 2023 – June 2025

[Source](https://orcid.org/0000-0002-9658-3073)

### Visiting Lecturer, Computer Science

Neapolis University Pafos

December 2019 – February 2023

[Source](https://orcid.org/0000-0002-9658-3073)

## Education

### PhD, Computer Engineering

National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”

2018

Research on efficient user identification in distributed systems, using Boolean and Galois-field transformations.

[Source](https://nrat.ukrintei.ua/searchdoc/0418U001073/)

### Master’s in Public Administration

Neapolis University Pafos

2014

Thesis on security in digital education, legal frameworks and risk mitigation.

[Source](https://hephaestus.nup.ac.cy/handle/11728/6760)

### MSc, Computer Engineering

National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”

1999

Thesis on security in corporate networks.

[Source](https://www.nup.ac.cy/wp-content/uploads/2021/02/Lefteris-Zacharioudakis-CV-EN.pdf)

### BSc, Computer Engineering

National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”

1997

[Source](https://www.nup.ac.cy/wp-content/uploads/2021/02/Lefteris-Zacharioudakis-CV-EN.pdf)

## Teaching

### Digital Systems Design Lab

AUB Mediterraneo

Course: CSEN 203L

Undergraduate

Fall 2025

Role: Instructor

Digital systems laboratory.

[Source](https://www.aubmed.ac.cy/Documents/Schedule-Course-offerings-Final-exams.pdf)

### Information Security

Neapolis University Pafos

Course: DIS504

Postgraduate · 7.5 ECTS

Published syllabus, 2025

Role: Named instructor

Access control, authentication, network security, cryptography, risk management and incident response.

[Source](https://www.nup.ac.cy/wp-content/uploads/2025/02/DIS504-GR.pdf)

### AI-Enhanced Cybersecurity

Neapolis University Pafos

Course: BSc Computer Science and Artificial Intelligence

Undergraduate · 6 ECTS

Published curriculum

Role: Listed instructor

Cybersecurity foundations, intrusion detection, secure communication and incident response. Listed curriculum assignment; teaching term is not specified.

[Source](https://drive.google.com/file/d/1VJA8xPTlXiYRKRrZhajHsPoTOcWOinF0/view)

## Thesis supervision

### Μελέτη περίπτωσης εφαρμογής τεχνικών και μετρικών διασφάλισης ποιότητας σε μοντέλα μηχανικής μάθησης για πρόβλεψη δεδομένων χρονοσειρών QoE σε μετάδοση βίντεο εν πτήσει μέσω υβριδικών δικτύων ΑΑΝΕΤ (Satellite & A2G)

Student: Δήμητρα Ιωάννα Γεροσταμούλου

Year: 2025

Original title: Μελέτη περίπτωσης εφαρμογής τεχνικών και μετρικών διασφάλισης ποιότητας σε μοντέλα μηχανικής μάθησης για πρόβλεψη δεδομένων χρονοσειρών QoE σε μετάδοση βίντεο εν πτήσει μέσω υβριδικών δικτύων ΑΑΝΕΤ (Satellite & A2G)

[Thesis record](https://hephaestus.nup.ac.cy/handle/11728/12930)

### Technological Support for Smart Embedded Systems

Student: Emmanouil Roumeliotis

Year: 2025

Original title: Τεχνολογική Υποστήριξη για Έξυπνα Ενσωματωμένα Συστήματα

[Thesis record](https://hephaestus.nup.ac.cy/items/36b9002e-765e-480c-baa1-f06fbca92662/full)

### The Need for a Smart Hospital in Greece: Integrating Modern Technologies and Enhancing Healthcare

Student: Eirini Markou

Year: 2025

Original title: Η Ανάγκη για δημιουργία ενός Smart Hospital στην Ελλάδα. Ενσωμάτωση Σύγχρονων Τεχνολογιών και Ενίσχυση της Υγειονομικής Περίθαλψης

[Thesis record](https://hephaestus.nup.ac.cy/handle/11728/12925)

### Network Reliability Problems and Information Protection

Student: Giannakis Charalambous

Year: 2022

Original title: Προβλήματα Αξιοπιστίας Δικτύων και Προστασία Πληροφοριών

[Thesis record](https://hephaestus.nup.ac.cy/items/b1285cf3-5a35-4a66-a478-02a6b35f5949/full)

## Academic service

### EMCIS 2025

Conference Co-Chair

European Mediterranean & Middle Eastern Conference on Information Systems

Paphos, Cyprus

September 11–12, 2025

[Source](https://2025.emcis.eu/committees/)

### ISIoT 2025

Technical Program Committee

7th International Workshop on Intelligent Systems for the Internet of Things · co-located with DCOSS-IoT

Lucca, Italy

June 9–11, 2025

[Source](https://easychair.org/cfp/ISIoT2025)

### edu4AI 2025

Program Committee

2nd International Workshop on Education for Artificial Intelligence · co-located with ECAI

Bologna, Italy

October 26, 2025

[Source](https://ceur-ws.org/Vol-4114/xpreface.pdf)

## Publications

28 curated records. This list includes journal articles, conference and workshop papers, and theses. Original-language titles and full coauthor lists are retained. This build-time list is separate from live source additions and the raw Google Scholar snapshot.

### A generalized method for constructing failure-behavior models of fault-tolerant multiprocessor systems with inter-subsystem redundancy

Authors: Vitaliy A. Romankevich, Kostiantyn V. Morozov, Alexei M. Romankevich, Daniil V. Halytsky, Lefteris Zacharioudakis

Year: 2026

Type: Journal article

Venue: Applied Aspects of Information Technology

Volume: 9

Issue: 3

Pages: 366–383

Topic: Reliable systems

DOI: 10.15276/aait.09.2026.25

[Publication record](https://doi.org/10.15276/aait.09.2026.25)

[Full text](https://aait.od.ua/index.php/journal/article/download/265/220)

Metadata source: Publisher

### A Generalized Method for Constructing Graph- Logical Models of Non-Basic Fault-Tolerant Multiprocessor Systems via Model Combination

Authors: Vitaliy Romankevich, Kostiantyn Morozov, Alexei Romankevich, Petro Malezhyk, Lefteris Zacharioudakis

Year: 2026

Type: Journal article

Venue: International Journal of Engineering and Manufacturing

Topic: Reliable systems

DOI: 10.5815/ijem.2026.03.15

[Publication record](https://doi.org/10.5815/ijem.2026.03.15)

Metadata source: Publisher / Crossref

### A method for constructing non-basic GL-models by combining models with arbitrary graph structures

Authors: Vitaliy Romankevich, Kostiantyn Morozov, Alexei Romankevich, Daniil Halytsky, Lefteris Zacharioudakis

Year: 2026

Type: Journal article

Venue: Herald of Advanced Information Technology

Volume: 9

Issue: 1

Pages: 30-45

Topic: Reliable systems

DOI: 10.15276/hait.09.2026.03

[Publication record](https://doi.org/10.15276/hait.09.2026.03)

[Full text](https://hait.od.ua/index.php/journal/article/download/233/203)

Metadata source: Publisher / Crossref

### Insights into the Complexities of Pharmacotherapy Parameters in Artificial Intelligence Models for Drug Selection, Precision Personalised Medicine and Optimal Therapeutic Outcomes

Authors: Malamati Kourti, Lefteris Zacharioudakis, Annita Kolnagou, Iliada Evripidou, George J. Kontoghiorghes

Year: 2026

Type: Journal article

Venue: Pharmaceutics

Volume: 18

Issue: 9

Article number: 1157

Topic: Health & AI

DOI: 10.3390/pharmaceutics18091157

[Publication record](https://doi.org/10.3390/pharmaceutics18091157)

Metadata source: Publisher / Crossref

### A method for constructing GL-models of behavior under failure flow for complex non-basic fault-tolerant multiprocessor systems

Authors: Vitaliy A. Romankevich, Kostiantyn V. Morozov, Daniil V. Halytsky, Ihor A. Yermolenko, Lefteris Zacharioudakis

Year: 2025

Type: Journal article

Venue: Applied Aspects of Information Technology

Volume: 8

Issue: 4

Pages: 465-480

Topic: Reliable systems

DOI: 10.15276/aait.08.2025.30

[Publication record](https://doi.org/10.15276/aait.08.2025.30)

Metadata source: Publisher / Crossref

### A Scalable Cybersecurity Model for Shared SOCs in SMEs

Authors: Eleftherios Zacharioudakis, Elena Kakoulli

Year: 2025

Type: Conference paper

Venue: ICR 2025 · Lecture Notes in Networks and Systems

Volume: 1487

Pages: 257–269

Topic: Cyber defense

DOI: 10.1007/978-3-031-95652-2_22

[Publication record](https://doi.org/10.1007/978-3-031-95652-2_22)

Metadata source: Publisher / Crossref

### Enhancement of the Formal Method of Determining Processor States of a Multiprocessor System Under Testing

Authors: Vitaliy A. Romankevich, Kostiantyn V. Morozov, Oleksii V. Shuryha, Alexei M. Romankevich, Lefteris Zacharioudakis

Year: 2025

Type: Conference paper

Venue: Lecture Notes on Data Engineering and Communications Technologies

Pages: 142-155

Topic: Reliable systems

DOI: 10.1007/978-3-031-84228-3_12

[Publication record](https://doi.org/10.1007/978-3-031-84228-3_12)

Metadata source: Publisher / Crossref

### Intelligent Cyber Defense: Leveraging LLMs for Real-Time Threat Detection and Analysis

Authors: Elena Kakoulli, Eleftherios Zacharioudakis, Salomi Evripidou

Year: 2025

Type: Conference paper

Venue: EMCIS 2024 · Lecture Notes in Business Information Processing

Volume: 535

Pages: 58–73

Topic: Cyber defense

DOI: 10.1007/978-3-031-81322-1_5

[Publication record](https://doi.org/10.1007/978-3-031-81322-1_5)

Metadata source: Publisher / Crossref

### Secure AI-Integrated Classroom Assistant for Intelligent Educational Support

Authors: Elena Kakoulli, Salomi Evripidou, Eleftherios Zacharioudakis

Year: 2025

Type: Conference paper

Venue: ICR 2025 · Lecture Notes in Networks and Systems

Volume: 1487

Pages: 228-242

Topic: Education

DOI: 10.1007/978-3-031-95652-2_20

[Publication record](https://doi.org/10.1007/978-3-031-95652-2_20)

Metadata source: Publisher / Crossref

### XMeta-OS: A Conceptual Framework for Unified Resource Management in Distributed Edge-Cloud Environments

Authors: Eleftherios Zacharioudakis, Elena Kakoulli, Salomi Evripidou

Year: 2025

Type: Conference paper

Venue: ACR 2025 · Lecture Notes in Networks and Systems

Volume: 1346

Pages: 460–475

Topic: Distributed systems

DOI: 10.1007/978-3-031-87647-9_38

[Publication record](https://doi.org/10.1007/978-3-031-87647-9_38)

Metadata source: Publisher / Crossref

### Ambiguities and their emergence conditions in self-testing of multiprocessor systems

Authors: Vitaliy A. Romankevich, Kostiantyn V. Morozov, Oleksii V. Romankevich, Lefteris Zacharioudakis

Year: 2024

Type: Journal article

Venue: Herald of Advanced Information Technology

Volume: 7

Issue: 4

Pages: 405-413

Topic: Reliable systems

DOI: 10.15276/hait.07.2024.29

[Publication record](https://doi.org/10.15276/hait.07.2024.29)

Metadata source: Publisher / Crossref

### Exploration of the Role of Cryptoprocessors in Advancing IoT Security

Authors: Elena Kakoulli, Eleftherios Zacharioudakis

Year: 2024

Type: Conference paper

Venue: IEEE DCOSS-IoT 2024

Pages: 524–531

Topic: IoT & hardware

DOI: 10.1109/dcoss-iot61029.2024.00083

[Publication record](https://doi.org/10.1109/dcoss-iot61029.2024.00083)

Metadata source: Publisher / Crossref

### On evaluation of reliability increase in fault-tolerant multiprocessor systems

Authors: Vitaliy A. Romankevich, Kostiantyn V. Morozov, Andrii P. Feseniuk, Alexei M. Romankevich, Lefteris Zacharioudakis

Year: 2024

Type: Journal article

Venue: Applied Aspects of Information Technology

Volume: 7

Issue: 1

Pages: 81–95

Topic: Reliable systems

DOI: 10.15276/aait.07.2024.7

[Publication record](https://doi.org/10.15276/aait.07.2024.7)

[Full text](https://aait.od.ua/index.php/journal/article/download/145/145)

Metadata source: Publisher / Crossref

### On the method of building of non-basic GL-models which are formed on combination of edge functions of basic models

Authors: Vitaliy A. Romankevich, Kostiantyn V. Morozov, Alexei M. Romankevitch, Anna V. Morozova, Lefteris Zacharioudakis

Year: 2024

Type: Journal article

Venue: Applied Aspects of Information Technology

Volume: 7

Issue: 2

Pages: 175–188

Topic: Reliable systems

DOI: 10.15276/aait.07.2024.13

[Publication record](https://doi.org/10.15276/aait.07.2024.13)

Metadata source: Publisher / Crossref

### On the modification of GL-models by adding edges to a cyclic graph

Authors: Vitaliy A. Romankevich, Kostiantyn V. Morozov, Alexei M. Romankevich, Anna V. Morozova, Lefteris Zacharioudakis

Year: 2024

Type: Journal article

Venue: Herald of Advanced Information Technology

Volume: 7

Issue: 2

Pages: 185–198

Topic: Reliable systems

DOI: 10.15276/hait.07.2024.13

[Publication record](https://doi.org/10.15276/hait.07.2024.13)

Metadata source: Publisher / Crossref

### Survey on Cryptoprocessors Advances and Technological Trends

Authors: Elena Kakoulli, Eleftherios Zacharioudakis

Year: 2024

Type: Conference paper

Venue: ICR 2024 · Lecture Notes in Networks and Systems

Volume: 1058

Pages: 411-430

Topic: IoT & hardware

DOI: 10.1007/978-3-031-65522-7_37

[Publication record](https://doi.org/10.1007/978-3-031-65522-7_37)

Metadata source: Publisher / Crossref

### WOLFRAM in Action: Teaching and Learning (Pseudo)Random Generation with Cellular Automata in Higher Education Settings

Authors: Zach Anthis, Lefteris Zacharioudakis

Year: 2024

Type: Workshop paper

Venue: edu4AI 2024 · CEUR Workshop Proceedings, Vol. 3902

Topic: Education

[Publication record](https://ceur-ws.org/Vol-3902/3_paper.pdf)

[Full text](https://ceur-ws.org/Vol-3902/3_paper.pdf)

Metadata source: CEUR Workshop Proceedings

### Decompressor for hardware applications

Authors: Vitalii O. Romankevych, Ivan V. Mozghovyi, Pavlo A. Serhiienko, Lefteris Zacharioudakis

Year: 2023

Type: Journal article

Venue: Applied Aspects of Information Technology

Volume: 6

Issue: 1

Pages: 74–83

Topic: Reliable systems

DOI: 10.15276/aait.06.2023.6

[Publication record](https://doi.org/10.15276/aait.06.2023.6)

Metadata source: Publisher / Crossref

### Improved GL-Model of Behavior of Complex Multiprocessor Systems in Failure Flow

Authors: Alexei Romankevitch, Kostiantyn Morozov, Vitaliy Romankevich, Daniil Halytskyi, Zacharioudakis Eleftherios

Year: 2023

Type: Conference paper

Venue: Lecture Notes on Data Engineering and Communications Technologies

Pages: 236-245

Topic: Reliable systems

DOI: 10.1007/978-3-031-36118-0_21

[Publication record](https://doi.org/10.1007/978-3-031-36118-0_21)

Metadata source: Publisher / Crossref

### The Effect of Temperature and Humidity on Indoor LoRa Propagation Model

Authors: S. Lavdas, L. Zacharioudakis, A. Khalifeh, Z. Zinonos

Year: 2021

Type: Conference paper

Venue: IEEE DCOSS 2021

Topic: IoT & hardware

DOI: 10.1109/dcoss52077.2021.00066

[Publication record](https://doi.org/10.1109/dcoss52077.2021.00066)

Metadata source: Publisher / Crossref

### Методи і засоби підвищення ефективності ідентифікації користувачів розподілених систем

Authors: Л Захаріудакіс

Year: 2018

Type: Thesis

Venue: Doctoral dissertation · Igor Sikorsky Kyiv Polytechnic Institute

Topic: Cryptography

English title: Methods and tools for increasing the efficiency of user identification in distributed systems

[Publication record](https://nrat.ukrintei.ua/searchdoc/0418U001073/)

Metadata source: National dissertation registry

Record note: Dissertation record registered January 29, 2018; Scholar lists the thesis in 2017.

### Використання алгебри полів Галуа для реалізації концепції нульових знань при ідентифікації та автентифікації віддалених користувачів

Authors: ОП Марковський, Л Захаріудакіс, ВР Максимук

Year: 2017

Type: Journal article

Venue: Electronic Modeling

Volume: 39

Issue: 6

Pages: 33–46

Topic: Cryptography

English title: Using Galois-field algebra for zero-knowledge identification and authentication of remote users

DOI: 10.15407/emodel.39.06.033

[Publication record](https://doi.org/10.15407/emodel.39.06.033)

[Full text](https://www.emodel.org.ua/images/em/39-6/Markovski.pdf)

Metadata source: Publisher

### Метод быстрой аутентификации удаленных пользователей на основе концепции “нулевых знаний”

Authors: Eleftherios Zacharioudakis

Year: 2017

Type: Journal article

Venue: Scientific Notes of the Ukrainian Research Institute of Communications

Volume: 45

Issue: 1

Pages: 109–116

Topic: Cryptography

English title: Method for high speed remote user authentication based on zero-knowledge conception

[Publication record](https://duikt.edu.ua/uploads/p_1538_53947418.pdf?file=p_1538_53947418.pdf)

[Full text](https://duikt.edu.ua/uploads/p_1538_53947418.pdf?file=p_1538_53947418.pdf)

Metadata source: Publisher

### Метод строгої ідентифікації абонентів в телекомунікаційних системах

Authors: ОП Марковський, Л Захаріудакіс, МФ Федотов

Year: 2017

Type: Conference paper

Venue: International Scientific and Technical Conference “Prospects of Telecommunications”

Topic: Cryptography

English title: Strong subscriber identification in telecommunications systems

[Publication record](https://scholar.google.com/citations?view_op=view_citation&hl=en&user=i9sBnQUAAAAJ&pagesize=100&citation_for_view=i9sBnQUAAAAJ:WF5omc3nYNoC)

Metadata source: Google Scholar / institutional bibliography

### Метод ідентифікації віддалених абонентів на основі концепції “нульових знань”

Authors: В. Є. Мухін, Лефтеріос Захаріудакіс, О. Ю. Герасименко, М. С. Козерацький

Year: 2017

Type: Journal article

Venue: Telecommunication and Information Technologies

Issue: 1

Topic: Cryptography

English title: Identification of remote users based on the zero-knowledge concept

[Publication record](https://tit.duikt.edu.ua/telecommunication/article/view/1526)

[Full text](https://tit.duikt.edu.ua/telecommunication/article/download/1526/1457)

Metadata source: Publisher

### Спосіб прискореного обчислення модулярної експоненти

Authors: СГ Стіренко, ОП Марковський, Л Захаріудакіс, ЛД Міщенко

Year: 2017

Type: Journal article

Venue: Bulletin of NTUU KPI: Informatics, Control and Computer Engineering

Issue: 65

Topic: Cryptography

English title: A method for accelerated modular exponentiation

[Publication record](https://ela.kpi.ua/server/api/core/bitstreams/12e575fb-d2bf-4cd1-9169-f86244eb9188/content)

[Full text](https://ela.kpi.ua/server/api/core/bitstreams/12e575fb-d2bf-4cd1-9169-f86244eb9188/content)

Metadata source: Institutional repository

### Метод строгої ідентифікації віддалених абонентів на основі стандартизованих шифроблоків та хеш-перетворень

Authors: ОП Марковський, Л Захаріудакіс, МФ Федотов

Year: 2016

Type: Journal article

Venue: Bulletin of NTUU KPI: Informatics, Control and Computer Engineering

Issue: 64

Pages: 161–165

Topic: Cryptography

English title: Strong remote-user identification using standardized cipher blocks and hash transformations

[Publication record](https://scholar.google.com/citations?view_op=view_citation&hl=en&user=i9sBnQUAAAAJ&pagesize=100&citation_for_view=i9sBnQUAAAAJ:Y0pCki6q_DkC)

Metadata source: Google Scholar / institutional CV

### Ασφάλεια στην ψηφιακή παιδεία, νομικό πλαίσιο και τρόποι αντιμετώπισης κινδύνων

Authors: E Zacharioudakis

Year: 2014

Type: Thesis

Venue: Master’s thesis in Public Administration · Neapolis University Pafos

Topic: Cryptography

English title: Security in digital education: legal framework and approaches to risk mitigation

[Publication record](https://hephaestus.nup.ac.cy/handle/11728/6760)

[Full text](https://hephaestus.nup.ac.cy/bitstream/handle/11728/6760/zacharadoukis-asfalia.pdf?isAllowed=y&sequence=3)

Metadata source: Institutional repository

## Research software

Personal research projects connecting cybersecurity, workload identity and dependable systems with reproducible implementations.

Implementations used AI assistance. Original publications retain their full coauthorship; each repository documents attribution, assumptions and limitations.

Personal project creation is based on biographical confirmation supplied by the user on October 12, 2026. The public repositories document AI-assisted implementation and retain attribution to original coauthored research; they do not independently establish personal authorship of every implementation detail.

### FaultGraph Lab

Python · Research prototype

Python research software for graph-logical models of fault-tolerant systems. It evaluates connectivity and reliability, reproduces published examples, and checks finite-instance equivalence when transforming models into alternative Boolean representations. Its core runs offline.

Research context: Computational reproduction of published graph-logical modeling methods from coauthored research. The linked paper provides the eight-processor example explored in the public implementation.

Vitaliy Romankevich, Kostiantyn Morozov, Alexei Romankevich, Petro Malezhyk, Lefteris Zacharioudakis (2026). [A Generalized Method for Constructing Graph-Logical Models of Non-Basic Fault-Tolerant Multiprocessor Systems via Model Combination](https://doi.org/10.5815/ijem.2026.03.15). DOI: 10.5815/ijem.2026.03.15

Limitations: Checks establish agreement for finite models under stated connectivity and probability assumptions; they do not demonstrate universal speedups or deployed-system reliability.

Reuse: Source available with rights reserved; no general software license has been selected. Cited articles and included Topology Zoo data retain CC BY 4.0.

[Repository](https://github.com/Lefzach73/faultgraph)

Reviewed revision: b34dd1d261ddc3d18003b4c4e6a754e45f56be4d

[Reviewed source and reproduction instructions](https://github.com/Lefzach73/faultgraph/blob/b34dd1d261ddc3d18003b4c4e6a754e45f56be4d/README.md)

[Research evidence and limitations](https://github.com/Lefzach73/faultgraph/blob/b34dd1d261ddc3d18003b4c4e6a754e45f56be4d/docs/RESULTS.md)

[CI run for reviewed revision](https://github.com/Lefzach73/faultgraph/actions/runs/38309347660)

[Public browser demonstration](https://lefteriszach.com/software#faultgraph)

### VeriSOC

Python · Research prototype

Python research prototype for security-event triage. It checks proposed observations against authorized source records, preserves provenance and bounds read-only investigation. An offline synthetic demonstration separates supported observations, unsupported claims and cases requiring human review.

Research context: Motivated by coauthored research on shared security operations and LLM applications in cyber defense. These publications provide context; they do not establish the prototype's efficacy.

Eleftherios Zacharioudakis, Elena Kakoulli (2025). [A Scalable Cybersecurity Model for Shared SOCs in SMEs](https://doi.org/10.1007/978-3-031-95652-2_22). DOI: 10.1007/978-3-031-95652-2_22

Elena Kakoulli, Eleftherios Zacharioudakis, Salomi Evripidou (2025). [Intelligent Cyber Defense: Leveraging LLMs for Real-Time Threat Detection and Analysis](https://doi.org/10.1007/978-3-031-81322-1_5). DOI: 10.1007/978-3-031-81322-1_5

Limitations: Historical model studies did not establish the incident-recall target; synthetic demonstrations do not establish real-world triage efficacy.

Reuse: Original code and synthetic fixtures use the MIT License. External data and optional dependencies retain their own licenses.

[Repository](https://github.com/Lefzach73/verisoc)

Reviewed revision: 3d81217acab0bfbed441b84e404b300a5868c8c0

[Reviewed source and reproduction instructions](https://github.com/Lefzach73/verisoc/blob/3d81217acab0bfbed441b84e404b300a5868c8c0/README.md)

[Research evidence and limitations](https://github.com/Lefzach73/verisoc/blob/3d81217acab0bfbed441b84e404b300a5868c8c0/docs/RESEARCH_STATUS.md)

[CI run for reviewed revision](https://github.com/Lefzach73/verisoc/actions/runs/38310104693)

[Public browser demonstration](https://lefteriszach.com/software#verisoc)

### ProofMesh

Go · Research prototype

Go research prototype for workload authorization under delayed trust updates. It combines deterministic policies, durable trust state and synthetic scenario replay, returning explicit decisions and explanations. Real SPIFFE integration is a separate optional component.

Research context: Explores workload identity and trust management in distributed systems. The reviewed public repository does not identify a corresponding peer-reviewed project publication.

Limitations: A verifier cannot detect a remote revocation before evidence arrives; explicit uncertainty does not eliminate stale authorization.

Reuse: Original-code reuse licensing is pending; public source visibility grants no reuse license. Upstream libraries retain their own licenses and notices.

[Repository](https://github.com/Lefzach73/proofmesh)

Reviewed revision: 67acb97f7540d5926784f8ba08cfee2673d19193

[Reviewed source and reproduction instructions](https://github.com/Lefzach73/proofmesh/blob/67acb97f7540d5926784f8ba08cfee2673d19193/README.md)

[Research evidence and limitations](https://github.com/Lefzach73/proofmesh/blob/67acb97f7540d5926784f8ba08cfee2673d19193/docs/EVIDENCE.md)

[CI run for reviewed revision](https://github.com/Lefzach73/proofmesh/actions/runs/38310163825)

[Public browser demonstration](https://lefteriszach.com/software#proofmesh)

Repository versions may change after review. Demonstrations and evidence links remain tied to the revisions documented in the source notes.

## Canonical pages and sources

- [Profile](https://lefteriszach.com/)

- [Publications](https://lefteriszach.com/publications)

- [Academic CV](https://lefteriszach.com/cv)

- [Research software](https://lefteriszach.com/software)

- [Sources and updates](https://lefteriszach.com/sources)