{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T18:51:26Z","timestamp":1764355886172,"version":"3.46.0"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62371057"],"award-info":[{"award-number":["62371057"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Research Foundation, Singapore, under its National Satellite of Excellence Program \u201cDesign Science and Technology for Secure Critical Infrastructure: Phase II\u201d","doi-asserted-by":"publisher","award":["NRF-NCR25-NSOE05-0001"],"award-info":[{"award-number":["NRF-NCR25-NSOE05-0001"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans.Inform.Forensic Secur."],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/tifs.2025.3634027","type":"journal-article","created":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T18:40:11Z","timestamp":1763404811000},"page":"12491-12506","source":"Crossref","is-referenced-by-count":0,"title":["SRLR: Symbolic Regression-Based Logic Recovery to Counter Programmable Logic Controller Attacks"],"prefix":"10.1109","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8714-0388","authenticated-orcid":false,"given":"Hao","family":"Zhou","sequence":"first","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6923-5762","authenticated-orcid":false,"given":"Suman","family":"Sourav","sequence":"additional","affiliation":[{"name":"Aalborg University, Aalborg, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9584-0082","authenticated-orcid":false,"given":"Binbin","family":"Chen","sequence":"additional","affiliation":[{"name":"Singapore University of Technology and Design, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1158-1483","authenticated-orcid":false,"given":"Ke","family":"Yu","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3203245"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2024.3407520"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2013.6471059"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3447548.3467137"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.14778\/3514061.3514067"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i5.16523"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2018.2855563"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM48880.2022.9796697"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.1329"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1126\/science.1165893"},{"key":"ref11","article-title":"Symbolic regression via neural-guided genetic programming population seeding","author":"Mundhenk","year":"2021","journal-title":"arXiv:2111.00053"},{"issue":"1","key":"ref12","first-page":"3585","article-title":"Learning symbolic representations of hybrid dynamical systems","volume":"13","author":"Ly","year":"2012","journal-title":"J. Mach. Learn. Res."},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1186\/s42400-019-0038-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3534678.3539117"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3394486.3403392"},{"article-title":"Deep symbolic regression: Recovering mathematical expressions from data via risk-seeking policy gradients","volume-title":"Proc. Int. Conf. Learn. Representations","author":"Petersen","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-71368-7_8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-023-06221-2"},{"key":"ref19","first-page":"1","article-title":"PLC-blaster: A worm living solely in the PLC","volume":"16","author":"Spenneberg","year":"2016","journal-title":"Black Hat Asia"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243781"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683368"},{"key":"ref22","first-page":"1189","article-title":"Self-paced learning for latent variable models","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"23","author":"Kumar"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1974.1100705"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3219819.3219845"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109666"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.watres.2019.03.030"},{"key":"ref27","article-title":"Interpretable machine learning for science with PySR and SymbolicRegression.Jl","author":"Cranmer","year":"2023","journal-title":"arXiv:2305.01582"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3377929.3398099"},{"key":"ref29","volume-title":"Power System Analysis","volume":"2","author":"Saadat","year":"1999"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.epsr.2016.08.032"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3292500.3330672"},{"key":"ref32","article-title":"Lstm-based encoder\u2013decoder for multi-sensor anomaly detection","author":"Malhotra","year":"2016","journal-title":"arXiv:1607.00148"},{"key":"ref33","first-page":"1","article-title":"Deep autoencoding Gaussian mixture model for unsupervised anomaly detection","volume-title":"Proc. Int. Conf. Learn. Represent.","author":"Zong"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2011.2163911"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.100"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2019.2912849"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2019.2895060"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.2307\/1270566"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)61035-8"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1002\/9781118535561"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.036"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-019-12490-1"},{"key":"ref43","article-title":"Deep generative symbolic regression","author":"Holt","year":"2023","journal-title":"arXiv:2401.00282"},{"key":"ref44","article-title":"Symbolicgpt: A generative transformer model for symbolic regression","author":"Valipour","year":"2021","journal-title":"arXiv:2106.14131"},{"key":"ref45","first-page":"5979","article-title":"Discovering symbolic policies with deep reinforcement learning","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Landajuela"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.fsidi.2020.301013"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.14722\/bar.2019.23074"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2024.3402117"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2664243.2664277"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813679"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/DSN58367.2023.00044"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68979-9_2"}],"container-title":["IEEE Transactions on Information Forensics and Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10206\/10810755\/11250987.pdf?arnumber=11250987","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T18:42:15Z","timestamp":1764355335000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11250987\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/tifs.2025.3634027","relation":{},"ISSN":["1556-6013","1556-6021"],"issn-type":[{"type":"print","value":"1556-6013"},{"type":"electronic","value":"1556-6021"}],"subject":[],"published":{"date-parts":[[2025]]}}}