On Neural Network Equivalence Checking Using SMT Solvers. - Charis Eleftheriadis; Nikolaos Kekatos; Panagiotis Katsaros; Stavros Tripakis (FORMATS, 2022)

AI-Driven Anomaly and Intrusion Detection in Energy Systems: Current Trends and Future Direction. - Georgios Andronikidis; Charis Eleftheriadis; Zisis Batzos; Konstantinos Kyranou; Nikolaos Maropoulos; Gohar Sargsyan; Panagiotis I. Radoglou-Grammatikis; Panagiotis G. Sarigiannidis (CSR, 2024)

Optimizing Federated Learning through Lightweight and Scalable Blockchain. - Georgios Andronikidis; George Niotis; Charis Eleftheriadis; Konstantinos Kyranou; Sotiris E. Nikoletseas; Panagiotis G. Sarigiannidis (DCOSS-IoT, 2024)

SiHoneypot: A Digital Twin-Based Honeypot for Autonomous Vehicles. - Athanasios Liatifis; Charis Eleftheriadis; Zisis Mpatzos; Ioannis Nanos; Thomas Lagkas; Sotirios K. Goudos; Vasileios Argyriou; Konstantinos E. Psannis; Ioannis D. Moscholios; Panagiotis G. Sarigiannidis (MOCAST, 2024)

Adversarial robustness improvement for deep neural networks. - Charis Eleftheriadis; Andreas L. Symeonidis; Panagiotis Katsaros (Mach. Vis. Appl., 2024)

Neural Cryptanalysis of Lightweight Block Ciphers Using Residual MLPs. - Charis Eleftheriadis; Georgios Andronikidis; Anastasios Lytos; Eleftherios Fountoukidis; Paris-Alexandros Karypidis; Thomas Lagkas; Vasileios Argyriou; Ioannis Nanos; Panagiotis G. Sarigiannidis (CSR, 2025)