Items where Author is "Khan, M. T."
analytical models
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)
bitflips
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)
control systems
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)
cyber-physical systems
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)
delays
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)
digital economy
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)
formal specification
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)
formal specifications
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)
Generative AI
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)
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)
industrial control
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)
industrial Control Systems (ICS)
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)
inline monitors
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)
integrated circuit modeling
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)
Internet telephony
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)
Java
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)
Java Modeling Language (JML)
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)
large language models
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)
large language models (LLMs)
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)
latency attacks
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)
logic
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)
manufacturing automation
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)
monitoring
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)
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)
oracle networks
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)
passwords
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)
price access manipulation
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)
price aggregation
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)
privacy
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)
privacy breach
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)
real-time systems
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)
resilience
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)
robustness
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)
run-time verification
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)
security
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)
security monitoring
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)
semantic web
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)
servers
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)
Smart contracts
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)
Solana
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)
switches
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)
training
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)
vectors
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)
water distribution systems
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)
Up a level