{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T05:57:49Z","timestamp":1767333469891,"version":"3.48.0"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T00:00:00Z","timestamp":1759708800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T00:00:00Z","timestamp":1759708800000},"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","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,6]]},"DOI":"10.1109\/milcom64451.2025.11309963","type":"proceedings-article","created":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T18:35:33Z","timestamp":1767292533000},"page":"1383-1388","source":"Crossref","is-referenced-by-count":0,"title":["PFSM: LLM-Guided Peripheral Modeling via Executable Finite-State Semantics"],"prefix":"10.1109","author":[{"given":"Yaxin","family":"Liu","sequence":"first","affiliation":[{"name":"CAS,Institute of Information Engineering,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chuan","family":"Qin","sequence":"additional","affiliation":[{"name":"CAS,Institute of Information Engineering,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhanwei","family":"Song","sequence":"additional","affiliation":[{"name":"CAS,Institute of Information Engineering,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Senming","family":"Yan","sequence":"additional","affiliation":[{"name":"CAS,Institute of Information Engineering,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shichao","family":"Lv","sequence":"additional","affiliation":[{"name":"CAS,Institute of Information Engineering,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongliang","family":"Fang","sequence":"additional","affiliation":[{"name":"CAS,Institute of Information Engineering,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weidong","family":"Zhang","sequence":"additional","affiliation":[{"name":"CAS,Institute of Information Engineering,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Limin","family":"Sun","sequence":"additional","affiliation":[{"name":"CAS,Institute of Information Engineering,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"SURROGATES: Enabling Near-Real-Time Dynamic Analyses of Embedded Systems","volume-title":"Proceedings of the 9th USENIX Workshop on Offensive Technologies (WOOT)","author":"Koscher","key":"ref1"},{"article-title":"Jetset: Targeted Firmware Rehosting for Embedded Systems","volume-title":"Proceedings of the 30th USENIX Security Symposium","author":"Johnson","key":"ref2"},{"article-title":"A Friend\u2019s Eye is A Good Mirror: Synthesizing MCU Peripheral Models from Peripheral Drivers","volume-title":"Proceedings of the 33rd USENIX Security Symposium","author":"Lei","key":"ref3"},{"key":"ref4","first-page":"2007","article-title":"Automatic Firmware Emulation through Invalidity-guided Knowledge Inference","volume-title":"Proceedings of the 30th USENIX Security Symposium","author":"Zhou"},{"key":"ref5","first-page":"305","article-title":"DECAF++: Elastic Whole-System Dynamic Taint Analysis","volume-title":"Proc. 22nd Int. Symp. on Research in Attacks, Intrusions and Defenses (RAID)","author":"Davanian"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3559386"},{"article-title":"P2IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling","volume-title":"Proceedings of the 29th USENIX Security Symposium","author":"Feng","key":"ref7"},{"article-title":"Fuzzware: Using Precise MMIO Modeling for Effective Firmware Fuzzing","volume-title":"Proceedings of the 30th USENIX Security Symposium","author":"Scharnowski","key":"ref8"},{"article-title":"Laelaps: Automatically Inferring Hardware Interfaces for Firmware Analysis","volume-title":"Proceedings of the 2021 IEEE Symposium on Security and Privacy (S&P)","author":"Zhou","key":"ref9"},{"article-title":"HALucinator: Firmware Re-hosting through Abstraction Layer Emulation","volume-title":"Proceedings of the 2021 Network and Distributed System Security Symposium (NDSS)","author":"Muench","key":"ref10"},{"article-title":"ParaSafe: Scalable Firmware Testing through Peripheral Interface Modeling","volume-title":"Proceedings of the 2022 ACM Conference on Computer and Communications Security (CCS)","author":"Zhou","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/icpc66645.2025.00039"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-025-93373-y"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.acl-long.475"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1093\/jamiaopen\/ooaf012"}],"event":{"name":"MILCOM 2025 - 2025 IEEE Military Communications Conference (MILCOM)","start":{"date-parts":[[2025,10,6]]},"location":"Los Angeles, CA, USA","end":{"date-parts":[[2025,10,10]]}},"container-title":["MILCOM 2025 - 2025 IEEE Military Communications Conference (MILCOM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11309822\/11309347\/11309963.pdf?arnumber=11309963","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T05:55:01Z","timestamp":1767333301000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11309963\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/milcom64451.2025.11309963","relation":{},"subject":[],"published":{"date-parts":[[2025,10,6]]}}}