{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T22:05:31Z","timestamp":1755036331358,"version":"3.37.3"},"reference-count":77,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"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":["IEEE\/ACM Trans. Networking"],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1109\/tnet.2023.3234931","type":"journal-article","created":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T21:43:07Z","timestamp":1673646187000},"page":"1822-1837","source":"Crossref","is-referenced-by-count":3,"title":["Runtime Verification for Programmable Switches"],"prefix":"10.1109","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4780-9512","authenticated-orcid":false,"given":"Apoorv","family":"Shukla","sequence":"first","affiliation":[{"name":"Huawei Munich Research Center, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Hudemann","sequence":"additional","affiliation":[{"name":"SAP, Walldorf, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zsolt","family":"V\u00e1gi","sequence":"additional","affiliation":[{"name":"Swisscom AG, Bern, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4358-1699","authenticated-orcid":false,"given":"Lily","family":"H\u00fcgerich","sequence":"additional","affiliation":[{"name":"Technical University of Berlin (TU Berlin), Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4127-3617","authenticated-orcid":false,"given":"Georgios","family":"Smaragdakis","sequence":"additional","affiliation":[{"name":"Delft University of Technology (TU Delft), CD Delft, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artur","family":"Hecker","sequence":"additional","affiliation":[{"name":"Huawei Munich Research Center, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7798-1711","authenticated-orcid":false,"given":"Stefan","family":"Schmid","sequence":"additional","affiliation":[{"name":"Technical University of Berlin (TU Berlin), Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anja","family":"Feldmann","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Informatics, Saarbrücken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"volume-title":"P416 Language Specs, Version 1.1.0","year":"2018","author":"Consortium","key":"ref2"},{"volume-title":"Network Path Not Found?","year":"2017","author":"Kazemian","key":"ref3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230548"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230582"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281421"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185499"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185497"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2020.2999653"},{"volume-title":"American Fuzzy Lop: A Security-Oriented Fuzzer","year":"2010","author":"Zalewski","key":"ref10"},{"volume-title":"Llvm Compiler Infrastructure: Libfuzzer: A Library for Coverage-Guided Fuzz Testing","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093564"},{"volume-title":"Peach Fuzzer","key":"ref13"},{"volume-title":"OpenRCE: Sulley","key":"ref14"},{"volume-title":"Radamsa","key":"ref15"},{"volume-title":"ZZUF-MULTI-PURPOSE FUZZER","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00056"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2019.2955790"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3341216.3342206"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/tnn.1998.712192"},{"volume-title":"Artificial Intelligence: A Modern Approach","year":"2009","author":"Russell","key":"ref22"},{"article-title":"Visualization for fault localization","volume-title":"Proc. ACM\/IEEE ICSE Workshops","author":"Jones","key":"ref23"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/581396.581397"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3318162"},{"volume-title":"daPIPE: DAta Plane Incremental Programming Environment","year":"2019","key":"ref27"},{"volume-title":"Switch. P4","key":"ref28"},{"volume-title":"P4 Tutorial","key":"ref29"},{"volume-title":"NetPaxos","key":"ref30"},{"volume-title":"Behavioral Model Repository","year":"2015","key":"ref31"},{"volume-title":"Tofino","key":"ref32"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM42981.2021.9488772"},{"article-title":"Towards runtime verification of programmable networks","year":"2020","author":"Shukla","key":"ref34"},{"volume-title":"P6 Software","year":"2022","author":"Shukla","key":"ref35"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486011"},{"volume-title":"P416 Portable Switch Architecture (PSA)-Version 1.1: Programmable Blocks","key":"ref37"},{"volume-title":"P416 Portable Switch Architecture (PSA)-Version 1.1: Ingress Deparser and Egress parser","key":"ref38"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544250"},{"article-title":"Denial of service via algorithmic complexity attacks","volume-title":"Proc. 12th USENIX Secur. Symp.","author":"Crosby","key":"ref40"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/bf01069160"},{"volume-title":"P4c","year":"2019","author":"Community","key":"ref42"},{"key":"ref43","first-page":"699","article-title":"Alembic: Automated model inference for stateful network functions","volume-title":"Proc. NSDI","author":"Moon"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v30i1.10295"},{"key":"ref45","article-title":"Playing Atari with deep reinforcement learning","author":"Mnih","year":"2013","journal-title":"arXiv:1312.5602"},{"volume-title":"Reinforcement learning for robots using neural networks","year":"1993","author":"Lin","key":"ref46"},{"key":"ref47","article-title":"Prioritized experience replay","author":"Schaul","year":"2015","journal-title":"arXiv:1511.05952"},{"key":"ref48","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5236.001.0001","volume-title":"Parallel Distributed Processing, Explorations in the Microstructure of Cognition","volume":"1","author":"Rumelhart","year":"1986"},{"volume-title":"Keras: The Python Deep Learning Library","key":"ref49"},{"volume-title":"TensorFlow","key":"ref50"},{"volume-title":"Scapy","key":"ref51"},{"volume-title":"P4Runtime","key":"ref52"},{"volume-title":"Vagrant","key":"ref53"},{"volume-title":"VirtualBox","key":"ref54"},{"key":"ref55","first-page":"683","article-title":"Correct by construction networks using stepwise refinement","volume-title":"Proc. NSDI","author":"Ryzhyk"},{"volume-title":"Automatically verifying reachability and well-formedness in P4 Networks","year":"2016","author":"Lopes","key":"ref56"},{"key":"ref57","first-page":"113","article-title":"Header space analysis: Static checking for networks","volume-title":"Proc. NSDI","author":"Kazemian"},{"key":"ref58","first-page":"99","article-title":"Real time network policy checking using header space analysis","volume-title":"Proc. NSDI","author":"Kazemian"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"ref61","article-title":"Not all bytes are equal: Neural byte sieve for fuzzing","author":"Rajpal","year":"2017","journal-title":"arXiv:1711.04596"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115618"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213848"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/3373360.3380843"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405888"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/3482898.3483352"},{"key":"ref67","first-page":"1","article-title":"In-band network telemetry via programmable dataplanes","volume-title":"Proc. ACM SIGCOMM","author":"Kim"},{"volume-title":"Int Specification","key":"ref68"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446764"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472937"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.2307\/1990888"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.2307\/2333344"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1080\/09296179508590051"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00010"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1007\/s00265-010-1029-6"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24007"},{"key":"ref77","article-title":"Why (and how) networks should run themselves","author":"Feamster","year":"2017","journal-title":"arXiv:1710.11583"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/90\/10223306\/10017156.pdf?arnumber=10017156","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T15:05:56Z","timestamp":1709391956000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10017156\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":77,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tnet.2023.3234931","relation":{},"ISSN":["1063-6692","1558-2566"],"issn-type":[{"type":"print","value":"1063-6692"},{"type":"electronic","value":"1558-2566"}],"subject":[],"published":{"date-parts":[[2023,8]]}}}