{"id":"https://openalex.org/W4396982237","doi":"https://doi.org/10.1109/tifs.2024.3402117","title":"From Control Application to Control Logic: PLC Decompile Framework for Industrial Control System","display_name":"From Control Application to Control Logic: PLC Decompile Framework for Industrial Control System","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4396982237","doi":"https://doi.org/10.1109/tifs.2024.3402117"},"language":"en","primary_location":{"id":"doi:10.1109/tifs.2024.3402117","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2024.3402117","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Forensics and Security","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010284148","display_name":"Chao Sang","orcid":"https://orcid.org/0000-0003-4587-9162"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Chao Sang","raw_affiliation_strings":["Shanghai Key Laboratory of Integrated Administration Technologies for Information Security, School of Electronics, Information and Electrical Engineering, and the Collaborative Innovation Center of Shanghai Industrial Internet, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Integrated Administration Technologies for Information Security, School of Electronics, Information and Electrical Engineering, and the Collaborative Innovation Center of Shanghai Industrial Internet, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004673608","display_name":"Jun Wu","orcid":"https://orcid.org/0000-0003-2483-6980"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jun Wu","raw_affiliation_strings":["Shanghai Key Laboratory of Integrated Administration Technologies for Information Security, School of Electronics, Information and Electrical Engineering, and the Collaborative Innovation Center of Shanghai Industrial Internet, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Integrated Administration Technologies for Information Security, School of Electronics, Information and Electrical Engineering, and the Collaborative Innovation Center of Shanghai Industrial Internet, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100391361","display_name":"Jianhua Li","orcid":"https://orcid.org/0000-0002-6831-3973"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianhua Li","raw_affiliation_strings":["Shanghai Key Laboratory of Integrated Administration Technologies for Information Security, School of Electronics, Information and Electrical Engineering, and the Collaborative Innovation Center of Shanghai Industrial Internet, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Integrated Administration Technologies for Information Security, School of Electronics, Information and Electrical Engineering, and the Collaborative Innovation Center of Shanghai Industrial Internet, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057916222","display_name":"Mohsen Guizani","orcid":"https://orcid.org/0000-0002-8972-8094"},"institutions":[{"id":"https://openalex.org/I4210113480","display_name":"Mohamed bin Zayed University of Artificial Intelligence","ror":"https://ror.org/0258gkt32","country_code":"AE","type":"education","lineage":["https://openalex.org/I4210113480"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Mohsen Guizani","raw_affiliation_strings":["MBZUAI, Abu Dhabi, United Arab Emirates"],"affiliations":[{"raw_affiliation_string":"MBZUAI, Abu Dhabi, United Arab Emirates","institution_ids":["https://openalex.org/I4210113480"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5010284148"],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":1.395,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.80350941,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"19","issue":null,"first_page":"8685","last_page":"8700"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13344","display_name":"Industrial Automation and Control Systems","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13344","display_name":"Industrial Automation and Control Systems","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9690999984741211,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9204999804496765,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7445224523544312},{"id":"https://openalex.org/keywords/industrial-control-system","display_name":"Industrial control system","score":0.6792113184928894},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.6552308797836304},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.5758382081985474},{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"Programmable logic controller","score":0.47591692209243774},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3361048400402069},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18478244543075562},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13177061080932617},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11735042929649353}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7445224523544312},{"id":"https://openalex.org/C40071531","wikidata":"https://www.wikidata.org/wiki/Q2513962","display_name":"Industrial control system","level":3,"score":0.6792113184928894},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.6552308797836304},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.5758382081985474},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.47591692209243774},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3361048400402069},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18478244543075562},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13177061080932617},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11735042929649353},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tifs.2024.3402117","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2024.3402117","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Forensics and Security","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G164061986","display_name":null,"funder_award_id":"61972255","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3064853585","display_name":null,"funder_award_id":"U21B2019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5371349539","display_name":null,"funder_award_id":"U20B2048","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W67485690","https://openalex.org/W587823163","https://openalex.org/W1842847600","https://openalex.org/W2039427951","https://openalex.org/W2077699686","https://openalex.org/W2509014759","https://openalex.org/W2533980614","https://openalex.org/W2553228890","https://openalex.org/W2558699350","https://openalex.org/W2736723828","https://openalex.org/W2746608747","https://openalex.org/W2808403661","https://openalex.org/W2895346253","https://openalex.org/W2930135659","https://openalex.org/W2945937333","https://openalex.org/W2952754944","https://openalex.org/W2962808527","https://openalex.org/W2972765956","https://openalex.org/W2997638503","https://openalex.org/W3009315908","https://openalex.org/W3013638858","https://openalex.org/W3033532562","https://openalex.org/W3036981874","https://openalex.org/W3128032258","https://openalex.org/W3160032723","https://openalex.org/W3205502046","https://openalex.org/W3212521566","https://openalex.org/W3214091108","https://openalex.org/W3217563563","https://openalex.org/W4292002670","https://openalex.org/W4385692134","https://openalex.org/W6765212765","https://openalex.org/W6795070034"],"related_works":["https://openalex.org/W2768165469","https://openalex.org/W4312858719","https://openalex.org/W2600332792","https://openalex.org/W4253069238","https://openalex.org/W2966748955","https://openalex.org/W4377710638","https://openalex.org/W2889239165","https://openalex.org/W2791799391","https://openalex.org/W3155069932","https://openalex.org/W2615607975"],"abstract_inverted_index":{"Industrial":[0],"Control":[1],"System":[2],"(ICS)":[3],"depends":[4],"on":[5],"the":[6,16,19,24,27,44,58,71,76,94,102,116,121,147,151,168,183],"underlying":[7],"Programmable":[8],"Logical":[9],"Controllers":[10],"(PLCs)":[11],"to":[12,92,100,134,145,181],"run.":[13],"As":[14],"such,":[15],"security":[17],"of":[18,23,30,123,189],"internal":[20],"control":[21,41,45,72,77,95,103,152,179],"logic":[22,42,96],"PLCs":[25],"is":[26,51,90,111,132,143],"top":[28],"concern":[29],"ICS.":[31],"Reversing":[32],"analysis":[33,117,130],"and":[34,74,119,138,162,176,186],"forensic":[35],"work":[36],"against":[37],"PLC":[38,63,160],"require":[39],"extracting":[40],"from":[43,150],"application":[46,73,104],"running":[47],"inside":[48],"PLC,":[49],"which":[50,68,89,113],"still":[52],"an":[53,107],"unresolved":[54],"problem.":[55],"To":[56,154],"address":[57],"challenge,":[59],"we":[60,80],"propose":[61,81],"a":[62,82,126,139],"decompile":[64,105],"framework":[65],"named":[66],"CLEVER,":[67],"can":[69,114],"analyze":[70],"extract":[75],"logic.":[78],"First,":[79],"simulation":[83],"execution":[84],"based":[85],"code":[86,149],"extraction":[87],"method,":[88],"utilized":[91,144],"filter":[93],"related":[97],"data.":[98],"Then,":[99],"normalize":[101],"process,":[106],"intermediate":[108],"representation":[109],"(IR)":[110],"designed,":[112],"simplify":[115],"process":[118],"enhance":[120],"extensibility":[122],"CLEVER.":[124,190],"Finally,":[125],"heuristic":[127],"data":[128],"flow":[129],"algorithm":[131],"proposed":[133],"find":[135],"variable":[136],"dependency,":[137],"sequential":[140],"parsing":[141],"method":[142],"reconstruct":[146],"source":[148],"application.":[153],"evaluate":[155],"our":[156],"work,":[157],"real":[158],"world":[159],"hardware":[161],"programming":[163],"software":[164],"are":[165],"used":[166],"for":[167],"experiment.":[169],"We":[170],"use":[171],"22":[172],"real-world,":[173],"58":[174],"hand-written,":[175],"150":[177],"auto-generated":[178],"applications":[180],"demonstrate":[182],"usability,":[184],"correctness,":[185],"operational":[187],"efficiency":[188]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-12-21T01:58:51.020947","created_date":"2025-10-10T00:00:00"}