{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T12:21:57Z","timestamp":1766578917428,"version":"3.44.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,8,4]],"date-time":"2025-08-04T00:00:00Z","timestamp":1754265600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,8,4]],"date-time":"2025-08-04T00:00:00Z","timestamp":1754265600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,8,4]]},"DOI":"10.1109\/csr64739.2025.11130130","type":"proceedings-article","created":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T19:04:27Z","timestamp":1756235067000},"page":"957-962","source":"Crossref","is-referenced-by-count":4,"title":["LLM-based Generation of Formal Specification for Run-time Security Monitoring of ICS"],"prefix":"10.1109","author":[{"given":"George E.","family":"Raptis","sequence":"first","affiliation":[{"name":"Industrial Systems Institute (ISI) ATHENA RC,Patras,Greece"}]},{"given":"Muhammad Taimoor","family":"Khan","sequence":"additional","affiliation":[{"name":"University of Greenwich,Centre for Sustainable Cyber Security,London,United Kingdom"}]},{"given":"Christos","family":"Koulamas","sequence":"additional","affiliation":[{"name":"Industrial Systems Institute (ISI) ATHENA RC,Patras,Greece"}]},{"given":"Dimitrios","family":"Serpanos","sequence":"additional","affiliation":[{"name":"University of Patras, Computer Technology Institute and Press “Diophantus”, & Industrial Systems Institute (ISI),Electrical and Computer Engineering,Patras,Greece"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1","article-title":"Towards run-time security monitoring of distributed industrial control systems","volume-title":"2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)","author":"Raptis"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/etfa61755.2024.10710978"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IECON55916.2024.10905306"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/tii.2020.3032968"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20060076"},{"article-title":"Enhancing security control production with generative AI","year":"2024","author":"Ling","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICDT61202.2024.10489766"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICOSEC61587.2024.10722712"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.70470\/SHIFRA\/2025\/005"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.18653\/v1\/2025.acl-long.1068","article-title":"Can LLMs reason about program semantics? a comprehensive evaluation of LLMs on formal specification inference","author":"Le-Cong","year":"2025"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1109\/ICSE55347.2025.00129","article-title":"Specgen: Automated generation of formal program specifications via large language models","author":"Ma","year":"2025"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3689484.3690738"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s12559-024-10309-w"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3390\/s25061666"},{"key":"ref15","first-page":"1905","article-title":"Generative AI and gametheory for the development and deployment of honeypots to enhance the security of industrial automation and control systems","author":"Peters","year":"2024","journal-title":"INFORMATIK 2024. Gesellschaft f\u00fcr Informatik eV"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/INFOTEH60418.2024.10495941"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/WSC63780.2024.10838831"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/jproc.2017.2725642"},{"key":"ref19","first-page":"2021","article-title":"Behavioural monitor","author":"Ahmed","journal-title":"ENSURESEC, Deliverable of ENSURESEC project D5.1, sep"},{"article-title":"Automatic recovery of run-time threats in distributed industrial control systems","volume-title":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","author":"Raptis","key":"ref20"},{"key":"ref21","article-title":"Cross-model evaluation of LLMs for generating formal specification of distributed industrial control systems","author":"Raptis","year":"2025","journal-title":"Procedia Computer Science"}],"event":{"name":"2025 IEEE International Conference on Cyber Security and Resilience (CSR)","start":{"date-parts":[[2025,8,4]]},"location":"Chania, Crete, Greece","end":{"date-parts":[[2025,8,6]]}},"container-title":["2025 IEEE International Conference on Cyber Security and Resilience (CSR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11129696\/11129957\/11130130.pdf?arnumber=11130130","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T18:20:19Z","timestamp":1756318819000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11130130\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,4]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/csr64739.2025.11130130","relation":{},"subject":[],"published":{"date-parts":[[2025,8,4]]}}}