{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T01:41:13Z","timestamp":1732758073531,"version":"3.29.0"},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T00:00:00Z","timestamp":1726704000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T00:00:00Z","timestamp":1726704000000},"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":[[2024,9,19]]},"DOI":"10.1109\/roedunet64292.2024.10722254","type":"proceedings-article","created":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T17:45:21Z","timestamp":1729705521000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Reverse Engineering Approach to Validate the Implementation of Network Protocols in Operating Systems"],"prefix":"10.1109","author":[{"given":"Alina","family":"Mihut","sequence":"first","affiliation":[{"name":"Technical University of Cluj-Napoca,Computer Science Department,Cluj-Napoca,Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sorin","family":"Buzura","sequence":"additional","affiliation":[{"name":"Technical University of Cluj-Napoca,Computer Science Department,Cluj-Napoca,Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Peculea","sequence":"additional","affiliation":[{"name":"Technical University of Cluj-Napoca,Computer Science Department,Cluj-Napoca,Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emil","family":"Cebuc","sequence":"additional","affiliation":[{"name":"Technical University of Cluj-Napoca,Computer Science Department,Cluj-Napoca,Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasile","family":"Dadarlat","sequence":"additional","affiliation":[{"name":"Technical University of Cluj-Napoca,Computer Science Department,Cluj-Napoca,Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bogdan","family":"Iancu","sequence":"additional","affiliation":[{"name":"Technical University of Cluj-Napoca,Computer Science Department,Cluj-Napoca,Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/access.2021.3061729"},{"volume-title":"TCP Protocol Specification, RFC 793","year":"2023","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/noms47738.2020.9110324"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/access.2020.3026540"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/65.598458"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/infcom.2007.56"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.12.017"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/375827.375843"},{"key":"ref9","article-title":"Learning-based testing the sliding window behavior of TCP implementations","volume":"10471","author":"Fiter\u0103u-Bro\u015ftean","year":"2017","journal-title":"Critical Systems: Formal Methods and Automated Verification. AVoCS FMICS 2017 2017. Lecture Notes in Computer Science()"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN.2012.6289279"},{"key":"ref11","first-page":"1","article-title":"Linux beats Windows!\u2014Or the worrying evolution of TCP in common operating systems","volume-title":"Proc. PFLDNet","author":"Munir"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19961-5_10"}],"event":{"name":"2024 23rd RoEduNet Conference: Networking in Education and Research (RoEduNet)","start":{"date-parts":[[2024,9,19]]},"location":"Bucharest, Romania","end":{"date-parts":[[2024,9,20]]}},"container-title":["2024 23rd RoEduNet Conference: Networking in Education and Research (RoEduNet)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10722026\/10722042\/10722254.pdf?arnumber=10722254","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T03:05:18Z","timestamp":1732676718000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10722254\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,19]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/roedunet64292.2024.10722254","relation":{},"subject":[],"published":{"date-parts":[[2024,9,19]]}}}