{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T17:51:44Z","timestamp":1777657904018,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,12]],"date-time":"2023-11-12T00:00:00Z","timestamp":1699747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,12]]},"DOI":"10.1145\/3625687.3628408","type":"proceedings-article","created":{"date-parts":[[2024,4,26]],"date-time":"2024-04-26T12:07:18Z","timestamp":1714133238000},"page":"544-545","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Poster Abstract: Securing Edge-Based Real-Time IoT Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7660-9646","authenticated-orcid":false,"given":"Dongha","family":"Kim","sequence":"first","affiliation":[{"name":"Arizona State University, Tempe, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1450-5248","authenticated-orcid":false,"given":"Hokeun","family":"Kim","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,4,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"CAV","author":"Alessandro","year":"2005","unstructured":"Alessandro Armando et al. 2005. The AVISPA tool for the automated validation of internet security protocols and applications. In CAV 2005. Springer, 281--285."},{"key":"e_1_3_2_1_2_1","volume-title":"Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. In MEMOCODE'23","author":"Soroush","unstructured":"Soroush Bateni et al. 2023. Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. In MEMOCODE'23. ACM."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Kamalanathan Kandasamy et al. 2020. IoT cyber risk: a holistic analysis of cyber risk assessment frameworks risk vectors and risk ranking process. EURASIP J. on Info. Security 8 (2020).","DOI":"10.1186\/s13635-020-00111-0"},{"key":"e_1_3_2_1_4_1","volume-title":"SST v1.0.0 with C API: Pluggable security solution for the Internet of Things. SoftwareX 22","author":"Kim Dongha","year":"2023","unstructured":"Dongha Kim, Yeongbin Jo, Taekyung Kim, and Hokeun Kim. 2023. SST v1.0.0 with C API: Pluggable security solution for the Internet of Things. SoftwareX 22 (2023)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3137003.3137010"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Hokeun Kim Eunsuk Kang Edward A. Lee and David Broman. 2017. A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things. In IoTDI'17. ACM 147--158.","DOI":"10.1145\/3054977.3054980"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/FiCloud.2016.24"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2022.23154"},{"key":"e_1_3_2_1_9_1","volume-title":"WESE","author":"Marten","year":"2019","unstructured":"Marten Lohstroh et al. 2020. Reactors: A deterministic model for composable reactive systems. In CyPhy 2019, WESE 2019. Springer, 59--85."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Christian Menard et al. 2023. High-Performance Deterministic Concurrency Using Lingua Franca. ACM TACO (aug 2023).","DOI":"10.1145\/3617687"},{"key":"e_1_3_2_1_11_1","unstructured":"Object Management Group (OMG). 2015. OMG Data Distribution Service (DDS) Version 1.4. (http:\/\/www.omg.org\/spec\/DDS\/1.4)."}],"event":{"name":"SenSys '23: 21st ACM Conference on Embedded Networked Sensor Systems","location":"Istanbul Turkiye","acronym":"SenSys '23","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems","SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 21st ACM Conference on Embedded Networked Sensor Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3625687.3628408","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3625687.3628408","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:12Z","timestamp":1750182552000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3625687.3628408"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,12]]},"references-count":11,"alternative-id":["10.1145\/3625687.3628408","10.1145\/3625687"],"URL":"https:\/\/doi.org\/10.1145\/3625687.3628408","relation":{},"subject":[],"published":{"date-parts":[[2023,11,12]]},"assertion":[{"value":"2024-04-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}