{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:41Z","timestamp":1750219781436,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T00:00:00Z","timestamp":1697414400000},"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,10,23]]},"DOI":"10.1145\/3565287.3617617","type":"proceedings-article","created":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T19:59:44Z","timestamp":1695931184000},"page":"436-441","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Exploring the Potential of Frama-C in IoT Static Analysis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-2212-2470","authenticated-orcid":false,"given":"Minh Le Kim","family":"Tran","sequence":"first","affiliation":[{"name":"Student\/Mentee, Carlsbad, CA, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-7107-1661","authenticated-orcid":false,"given":"William","family":"King","sequence":"additional","affiliation":[{"name":"Student\/Mentee, St. Cloud, MN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4482-5712","authenticated-orcid":false,"given":"Harvey","family":"Siy","sequence":"additional","affiliation":[{"name":"Researcher\/Mentor, Omaha, NE, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,10,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3470569"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCS.2018.00018"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing.","author":"Blanchard Allan","year":"2019","unstructured":"Allan Blanchard , Nikolai Kosmatov , and Fr\u00e9d\u00e9ric Loulergue . 2019 . Tutorial: Formal Verification for an Internet of Secured Things . In Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing. Allan Blanchard, Nikolai Kosmatov, and Fr\u00e9d\u00e9ric Loulergue. 2019. Tutorial: Formal Verification for an Internet of Secured Things. In Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-020-00592-x"},{"key":"e_1_3_2_1_5_1","unstructured":"William King and Minh Tran. 2023. REU Project: Frama-C for Analyzing IoT Applications. https:\/\/github.com\/WillMKing\/UNOREU2023.git. Accessed [7\/24\/2023].  William King and Minh Tran. 2023. REU Project: Frama-C for Analyzing IoT Applications. https:\/\/github.com\/WillMKing\/UNOREU2023.git. Accessed [7\/24\/2023]."},{"key":"e_1_3_2_1_6_1","unstructured":"Fahmida Y. Rashid. 2014. Why The Heartbleed Vulnerability Matters and What To Do About It. https:\/\/www.securityweek.com\/why-heartbleed-vulnerability-matters-and-what-do-about-it\/. Accessed [7\/14\/2023].  Fahmida Y. Rashid. 2014. Why The Heartbleed Vulnerability Matters and What To Do About It. https:\/\/www.securityweek.com\/why-heartbleed-vulnerability-matters-and-what-do-about-it\/. Accessed [7\/14\/2023]."},{"key":"e_1_3_2_1_7_1","unstructured":"SunFounder. 2023. Sensor Kit V2 for Raspberry Pi. https:\/\/docs.sunfounder.com\/projects\/sensorkit-v2-pi\/. Accessed [7\/13\/2023].  SunFounder. 2023. Sensor Kit V2 for Raspberry Pi. https:\/\/docs.sunfounder.com\/projects\/sensorkit-v2-pi\/. Accessed [7\/13\/2023]."}],"event":{"name":"MobiHoc '23: Twenty-fourth International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing","sponsor":["SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing"],"location":"Washington DC USA","acronym":"MobiHoc '23"},"container-title":["Proceedings of the Twenty-fourth International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3565287.3617617","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:43Z","timestamp":1750178263000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3565287.3617617"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,16]]},"references-count":7,"alternative-id":["10.1145\/3565287.3617617","10.1145\/3565287"],"URL":"https:\/\/doi.org\/10.1145\/3565287.3617617","relation":{},"subject":[],"published":{"date-parts":[[2023,10,16]]},"assertion":[{"value":"2023-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}