Conference Proceedings

Raptis, G. E., Khan, M. T. ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, C. and Serpanos, D. (2025) Synthesizing inline security monitors for ICS using Generative AI and FormalBench. In: IECON 2025: 51st Annual Conference of the IEEE Industrial Electronics Society 14th - 17th Oct. 2025. IEEE Xplore . Institute of Electrical and Electronics Engineers, Inc. (IEEE), Piscataway, New Jersey, pp. 1-6. (doi:10.1109/IECON58223.2025.11221437)

Naz, M. and Khan, M. T. ORCID: https://orcid.org/0000-0002-5752-6420 (2025) Towards privacy analysis of Internet-based messaging applications. In: 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA), Porto, Portugal, 2025. IEEE Xplore . Institute of Electrical and Electronics Engineers, Inc. (IEEE), Piscataway, New Jersey, pp. 1-8. ISBN 979-8331553838 (doi:10.1109/ETFA65518.2025.11205612)

Zhukovsky, D. and Khan, M. T. ORCID: https://orcid.org/0000-0002-5752-6420 (2025) Vulnerability analysis of Web 3.0 based decentralised oracle networks. In: 2025 IEEE International Conference on Cyber Security and Resilience (CSR), Chania, Crete, Greece, 2025. IEEE Xplore . Institute of Electrical and Electronics Engineers, Inc. (IEEE), Piscataway, New Jersey, pp. 1106-1112. ISBN 979-8331535919 (doi:10.1109/CSR64739.2025.11130021)