{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T00:21:29Z","timestamp":1760487689082,"version":"build-2065373602"},"reference-count":8,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,22]],"date-time":"2025-09-22T00:00:00Z","timestamp":1758499200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,22]],"date-time":"2025-09-22T00:00:00Z","timestamp":1758499200000},"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,9,22]]},"DOI":"10.1109\/icnp65844.2025.11192438","type":"proceedings-article","created":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T17:38:54Z","timestamp":1760377134000},"page":"1-3","source":"Crossref","is-referenced-by-count":0,"title":["Poster: Automated Security Property Extraction from Protocol Specifications"],"prefix":"10.1109","author":[{"given":"Hassan","family":"Asghar","sequence":"first","affiliation":[{"name":"KENTECH"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Myeong-Ha","family":"Hwang","sequence":"additional","affiliation":[{"name":"KEPRI"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeonghyun","family":"Joo","sequence":"additional","affiliation":[{"name":"KEPRI"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heewoon","family":"Kang","sequence":"additional","affiliation":[{"name":"KEPRI"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YooJin","family":"Kwon","sequence":"additional","affiliation":[{"name":"KEPRI"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazi Samin","family":"Mubasshir","sequence":"additional","affiliation":[{"name":"Purdue University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Imtiaz","family":"Karim","sequence":"additional","affiliation":[{"name":"The University of Texas at Dallas"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisa","family":"Bertino","sequence":"additional","affiliation":[{"name":"Purdue University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyunwoo","family":"Lee","sequence":"additional","affiliation":[{"name":"KENTECH"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02807-7_9"},{"key":"ref2","first-page":"4783","article-title":"From one thousand pages of specification to unveiling hidden bugs: Large language model assisted fuzzing of matter {IoT} devices","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"Ma"},{"article-title":"Extracting formal specifications from documents using llms for automated testing","year":"2025","author":"Li","key":"ref3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2025.241357"},{"key":"ref5","article-title":"GitHub - facebookresearch\/faiss: A library for efficient similarity search and clustering of dense vectors. \u2014 github.com"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.emnlp-main.136"},{"article-title":"Self-consistency improves chain of thought reasoning in language models","year":"2023","author":"Wang","key":"ref7"},{"article-title":"Chain-of-thought prompting elicits reasoning in large language models","year":"2023","author":"Wei","key":"ref8"}],"event":{"name":"2025 IEEE 33rd International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2025,9,22]]},"location":"Seoul, Korea, Republic of","end":{"date-parts":[[2025,9,25]]}},"container-title":["2025 IEEE 33rd International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11192357\/11192322\/11192438.pdf?arnumber=11192438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T05:17:48Z","timestamp":1760419068000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11192438\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,22]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/icnp65844.2025.11192438","relation":{},"subject":[],"published":{"date-parts":[[2025,9,22]]}}}