{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T12:37:07Z","timestamp":1774874227698,"version":"3.50.1"},"reference-count":38,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T00:00:00Z","timestamp":1772323200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T00:00:00Z","timestamp":1756944000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2022YFB4502001"],"award-info":[{"award-number":["2022YFB4502001"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U23A20332"],"award-info":[{"award-number":["U23A20332"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62302265"],"award-info":[{"award-number":["62302265"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62402291"],"award-info":[{"award-number":["62402291"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007129","name":"Natural Science Foundation of Shandong Province","doi-asserted-by":"publisher","award":["ZR2023QF172"],"award-info":[{"award-number":["ZR2023QF172"]}],"id":[{"id":"10.13039\/501100007129","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007129","name":"Natural Science Foundation of Shandong Province","doi-asserted-by":"publisher","award":["2024HWYQ-020"],"award-info":[{"award-number":["2024HWYQ-020"]}],"id":[{"id":"10.13039\/501100007129","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["High-Confidence Computing"],"published-print":{"date-parts":[[2026,3]]},"DOI":"10.1016\/j.hcc.2025.100351","type":"journal-article","created":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T01:20:26Z","timestamp":1757553626000},"page":"100351","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["LwRustIP: Memory-safe and efficient embedded networking stack with ownership semantics"],"prefix":"10.1016","volume":"6","author":[{"given":"Guangyong","family":"Shang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guangpeng","family":"Qi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianing","family":"Ren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-5298-1994","authenticated-orcid":false,"given":"Xianqi","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wanjiang","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-3682-791X","authenticated-orcid":false,"given":"Junchao","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Runyu","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"5","key":"10.1016\/j.hcc.2025.100351_b1","doi-asserted-by":"crossref","first-page":"8182","DOI":"10.1109\/JIOT.2019.2935189","article-title":"IoT: Internet of threats? A survey of practical security vulnerabilities in real IoT devices","volume":"6","author":"Meneghello","year":"2019","journal-title":"IEEE Internet Things J."},{"issue":"2","key":"10.1016\/j.hcc.2025.100351_b2","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/3029589","article-title":"The future of the internet of things","volume":"60","author":"Lindqvist","year":"2017","journal-title":"Commun. ACM"},{"key":"10.1016\/j.hcc.2025.100351_b3","series-title":"9 common types of malware (& how to prevent them)","author":"PurpleSec","year":"2024"},{"key":"10.1016\/j.hcc.2025.100351_b4","series-title":"11 Zero day vulnerabilities impacting billions of mission-critical devices","author":"Armis Centrix","year":"2020"},{"key":"10.1016\/j.hcc.2025.100351_b5","series-title":"AMNESIA:33","author":"Vedere Labs","year":"2020"},{"key":"10.1016\/j.hcc.2025.100351_b6","series-title":"CVE: Common vulnerabilities and exposures","author":"U.S. Department of Homeland Security (DHS) Cybersecurity, Infrastructure Security Agency (CISA)","year":"2025"},{"key":"10.1016\/j.hcc.2025.100351_b7","series-title":"2023 38th IEEE\/ACM International Conference on Automated Software Engineering","first-page":"926","article-title":"Systematically detecting packet validation vulnerabilities in embedded network stacks","author":"Amusuo","year":"2023"},{"key":"10.1016\/j.hcc.2025.100351_b8","series-title":"Finding and exploiting vulnerabilities in embedded TCP\/IP stacks","author":"Wang","year":"2021"},{"key":"10.1016\/j.hcc.2025.100351_b9","series-title":"Tock embedded operating system","author":"Tock","year":"2014"},{"key":"10.1016\/j.hcc.2025.100351_b10","series-title":"The redox operating system","author":"Redox","year":"2015"},{"key":"10.1016\/j.hcc.2025.100351_b11","series-title":"Drone \u2014 an embedded operating system for writing real-time applications in rust","author":"Valyaeff","year":"2025"},{"key":"10.1016\/j.hcc.2025.100351_b12","series-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","first-page":"1","article-title":"Theseus: an experiment in operating system structure and state management","author":"Boos","year":"2020"},{"key":"10.1016\/j.hcc.2025.100351_b13","series-title":"Smoltcp","author":"Nieuwenhuis","year":"2025"},{"key":"10.1016\/j.hcc.2025.100351_b14","series-title":"Embassy: Modern embedded framework, using rust and async","author":"Lilleengen","year":"2025"},{"key":"10.1016\/j.hcc.2025.100351_b15","series-title":"Rusty: A light-weight, user-space, event-driven, highly-scalable, TCP\/IP stack using Tilera\u2019s mPIPE API","author":"Javaux","year":"2025"},{"key":"10.1016\/j.hcc.2025.100351_b16","series-title":"The rust programming language for embedded systems","author":"polyelectronics","year":"2024"},{"key":"10.1016\/j.hcc.2025.100351_b17","series-title":"Rust for embedded systems: current state, challenges and open problems","author":"Sharma","year":"2023"},{"key":"10.1016\/j.hcc.2025.100351_b18","series-title":"Rustix: Safe rust bindings to POSIX-ish APIs","author":"Bytecode Alliance","year":"2025"},{"key":"10.1016\/j.hcc.2025.100351_b19","series-title":"Librsvg: A small library to render scalable vector graphics","author":"GNOME","year":"2016"},{"key":"10.1016\/j.hcc.2025.100351_b20","series-title":"Secure and fast microvms for serverless computing.","author":"Andreea\u00a0Florescu","year":"2025"},{"issue":"POPL","key":"10.1016\/j.hcc.2025.100351_b21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3158154","article-title":"RustBelt: Securing the foundations of the rust programming language","volume":"2","author":"Jung","year":"2017","journal-title":"Proc. the ACM Program. Lang."},{"key":"10.1016\/j.hcc.2025.100351_b22","series-title":"UCG - rust\u2019s unsafe code guidelines","author":"Jung","year":"2025"},{"key":"10.1016\/j.hcc.2025.100351_b23","series-title":"Prusti: A static verifier for rust","author":"Verification Infrastructure for Permission-based Reasoning","year":"2025"},{"key":"10.1016\/j.hcc.2025.100351_b24","series-title":"Kani rust verifier","author":"Tautschnig","year":"2025"},{"key":"10.1016\/j.hcc.2025.100351_b25","series-title":"Creusot is a deductive verifier for rust code","author":"Creusot","year":"2025"},{"key":"10.1016\/j.hcc.2025.100351_b26","series-title":"An abstract interpreter for the rust compiler\u2019s mid-level intermediate representation","author":"Labs","year":"2025"},{"key":"10.1016\/j.hcc.2025.100351_b27","series-title":"The CERT C secure coding standard","author":"Seacord","year":"2008"},{"key":"10.1016\/j.hcc.2025.100351_b28","series-title":"Joint strike force","author":"CodeSecure","year":"2025"},{"key":"10.1016\/j.hcc.2025.100351_b29","series-title":"MISRA c\/c++","author":"MISRA","year":"2021"},{"key":"10.1016\/j.hcc.2025.100351_b30","series-title":"MILCOM 2008 - 2008 IEEE Military Communications Conference","first-page":"1","article-title":"Coding standards for high-confidence embedded systems","author":"Anderson","year":"2008"},{"key":"10.1016\/j.hcc.2025.100351_b31","series-title":"lwIP - A lightweight TCP\/IP stack","author":"Dunkels","year":"2002"},{"key":"10.1016\/j.hcc.2025.100351_b32","series-title":"uIP-a free small TCP\/IP stack","author":"Dunkels","year":"2002"},{"key":"10.1016\/j.hcc.2025.100351_b33","series-title":"fNET - embedded TCP\/IP stack","author":"Andrey\u00a0Butok","year":"2005"},{"key":"10.1016\/j.hcc.2025.100351_b34","series-title":"A buffer overflow vulnerability in lwIP","author":"CVE","year":"2020"},{"key":"10.1016\/j.hcc.2025.100351_b35","series-title":"Double free vulnerability in virtualsquare picoTCP","author":"CVE","year":"2021"},{"key":"10.1016\/j.hcc.2025.100351_b36","series-title":"VxWorks IPNET CVE has a NULL pointer dereference","author":"CVE","year":"2020"},{"key":"10.1016\/j.hcc.2025.100351_b37","series-title":"Memory leak in linux TCP\/IP stack","author":"CVE","year":"2024"},{"key":"10.1016\/j.hcc.2025.100351_b38","series-title":"RustPython","year":"2025"}],"container-title":["High-Confidence Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2667295225000558?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2667295225000558?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T11:25:56Z","timestamp":1774869956000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2667295225000558"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,3]]}},"alternative-id":["S2667295225000558"],"URL":"https:\/\/doi.org\/10.1016\/j.hcc.2025.100351","relation":{},"ISSN":["2667-2952"],"issn-type":[{"value":"2667-2952","type":"print"}],"subject":[],"published":{"date-parts":[[2026,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"LwRustIP: Memory-safe and efficient embedded networking stack with ownership semantics","name":"articletitle","label":"Article Title"},{"value":"High-Confidence Computing","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.hcc.2025.100351","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Author(s). Published by Elsevier B.V. on behalf of Shandong University.","name":"copyright","label":"Copyright"}],"article-number":"100351"}}