{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,12]],"date-time":"2026-08-12T04:42:33Z","timestamp":1786509753178,"version":"build-2736575974"},"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":4,"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":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kevin","family":"Hudemann","sequence":"additional","affiliation":[{"name":"SAP, Walldorf, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zsolt","family":"V\u00e1gi","sequence":"additional","affiliation":[{"name":"Swisscom AG, Bern, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"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":[{"vocabulary":"crossref","role":"author"}]},{"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":[{"vocabulary":"crossref","role":"author"}]},{"given":"Artur","family":"Hecker","sequence":"additional","affiliation":[{"name":"Huawei Munich Research Center, Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"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":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anja","family":"Feldmann","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Informatics, Saarbrücken, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"ref2","volume-title":"P416 Language Specs, Version 1.1.0","author":"Consortium","year":"2018"},{"key":"ref3","volume-title":"Network Path Not Found?","author":"Kazemian","year":"2017"},{"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"},{"key":"ref10","volume-title":"American Fuzzy Lop: A Security-Oriented Fuzzer","author":"Zalewski","year":"2010"},{"key":"ref11","volume-title":"Llvm Compiler Infrastructure: Libfuzzer: A Library for Coverage-Guided Fuzz Testing"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093564"},{"key":"ref13","volume-title":"Peach Fuzzer"},{"key":"ref14","volume-title":"OpenRCE: Sulley"},{"key":"ref15","volume-title":"Radamsa"},{"key":"ref16","volume-title":"ZZUF-MULTI-PURPOSE FUZZER"},{"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"},{"key":"ref22","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell","year":"2009"},{"key":"ref23","article-title":"Visualization for fault localization","volume-title":"Proc. ACM\/IEEE ICSE Workshops","author":"Jones"},{"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"},{"key":"ref27","volume-title":"daPIPE: DAta Plane Incremental Programming Environment","year":"2019"},{"key":"ref28","volume-title":"Switch. P4"},{"key":"ref29","volume-title":"P4 Tutorial"},{"key":"ref30","volume-title":"NetPaxos"},{"key":"ref31","volume-title":"Behavioral Model Repository","year":"2015"},{"key":"ref32","volume-title":"Tofino"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM42981.2021.9488772"},{"key":"ref34","article-title":"Towards runtime verification of programmable networks","author":"Shukla","year":"2020"},{"key":"ref35","volume-title":"P6 Software","author":"Shukla","year":"2022"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486011"},{"key":"ref37","volume-title":"P416 Portable Switch Architecture (PSA)-Version 1.1: Programmable Blocks"},{"key":"ref38","volume-title":"P416 Portable Switch Architecture (PSA)-Version 1.1: Ingress Deparser and Egress parser"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544250"},{"key":"ref40","article-title":"Denial of service via algorithmic complexity attacks","volume-title":"Proc. 12th USENIX Secur. Symp.","author":"Crosby"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/bf01069160"},{"key":"ref42","volume-title":"P4c","author":"Community","year":"2019"},{"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"},{"key":"ref46","volume-title":"Reinforcement learning for robots using neural networks","author":"Lin","year":"1993"},{"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"},{"key":"ref49","volume-title":"Keras: The Python Deep Learning Library"},{"key":"ref50","volume-title":"TensorFlow"},{"key":"ref51","volume-title":"Scapy"},{"key":"ref52","volume-title":"P4Runtime"},{"key":"ref53","volume-title":"Vagrant"},{"key":"ref54","volume-title":"VirtualBox"},{"key":"ref55","first-page":"683","article-title":"Correct by construction networks using stepwise refinement","volume-title":"Proc. NSDI","author":"Ryzhyk"},{"key":"ref56","volume-title":"Automatically verifying reachability and well-formedness in P4 Networks","author":"Lopes","year":"2016"},{"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"},{"key":"ref68","volume-title":"Int Specification"},{"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":[{"value":"1063-6692","type":"print"},{"value":"1558-2566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8]]}}}