{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:49:30Z","timestamp":1755802170013,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":0,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T00:00:00Z","timestamp":1710374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"John S. Rogers Research Program at Lewis and Clark College"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,3,14]]},"DOI":"10.1145\/3626253.3635416","type":"proceedings-article","created":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T12:22:56Z","timestamp":1710505376000},"page":"1889-1889","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Verified Implementation of a Network Stack"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-4093-6419","authenticated-orcid":false,"given":"Caitlyn","family":"Wilde","sequence":"first","affiliation":[{"name":"Lewis and Clark College, Portland, Oregon, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-4348-4812","authenticated-orcid":false,"given":"Wyeth T.","family":"Greenlaw Rollins","sequence":"additional","affiliation":[{"name":"Lewis and Clark College, Portland, Oregon, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3341-3604","authenticated-orcid":false,"given":"Levi","family":"Overcast","sequence":"additional","affiliation":[{"name":"Evergreen State College, Olympia, Washington, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-1700-4950","authenticated-orcid":false,"given":"Alain","family":"K\u00e4gi","sequence":"additional","affiliation":[{"name":"Lewis and Clark College, Portland, Oregon, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,3,15]]},"event":{"name":"SIGCSE 2024: The 55th ACM Technical Symposium on Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Portland OR USA","acronym":"SIGCSE 2024"},"container-title":["Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626253.3635416","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T10:33:14Z","timestamp":1755772394000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626253.3635416"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,14]]},"references-count":0,"alternative-id":["10.1145\/3626253.3635416","10.1145\/3626253"],"URL":"https:\/\/doi.org\/10.1145\/3626253.3635416","relation":{},"subject":[],"published":{"date-parts":[[2024,3,14]]},"assertion":[{"value":"2024-03-15","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}