{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T22:33:01Z","timestamp":1769725981491,"version":"3.49.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,28]],"date-time":"2023-05-28T00:00:00Z","timestamp":1685232000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,28]],"date-time":"2023-05-28T00:00:00Z","timestamp":1685232000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61902262"],"award-info":[{"award-number":["61902262"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2019QY0700,2016QYOO1"],"award-info":[{"award-number":["2019QY0700,2016QYOO1"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,28]]},"DOI":"10.1109\/icc45041.2023.10278676","type":"proceedings-article","created":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T13:54:10Z","timestamp":1698069250000},"page":"753-758","source":"Crossref","is-referenced-by-count":4,"title":["Fuzzing Logical Bugs in eBPF Verifier with Bound-Violation Indicator"],"prefix":"10.1109","author":[{"given":"Youlin","family":"Li","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering, University of Electronic Science and Technology of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weina","family":"Niu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, University of Electronic Science and Technology of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yukun","family":"Zhu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, University of Electronic Science and Technology of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiacheng","family":"Gong","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, University of Electronic Science and Technology of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beibei","family":"Li","sequence":"additional","affiliation":[{"name":"School of Cyber Science and Engineering, Sichuan University,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaosong","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, University of Electronic Science and Technology of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","first-page":"309","article-title":"{AddressSanitizer}: A fast address sanity checker","author":"serebryany","year":"0","journal-title":"2012 USENIX Annual Technical Conference (USENIX ATC 12)"},{"key":"ref12","author":"bhat","year":"0","journal-title":"Formal verification of the linux kernel ebpf verifier range analysis"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134073"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00078"},{"key":"ref11","first-page":"41","article-title":"Specification and verification in the field: Applying formal methods to {BPF} just-in-time compilers in the linux kernel","author":"nelson","year":"0","journal-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CGO53902.2022.9741267"},{"key":"ref2","first-page":"54","article-title":"The express data path: Fast programmable packet processing in the operating system kernel","author":"heiland-j\u00f8rgensen","year":"0","journal-title":"Proceedings of the 14th International Conference on Emerging Networking EXperiments and Technologies"},{"key":"ref1","author":"fleming","year":"2017","journal-title":"A Thorough Introduction to EBPF"},{"key":"ref17","first-page":"67","article-title":"Dynamic test generation to find integer bugs in x86 binary linux programs","volume":"9","author":"molnar","year":"0","journal-title":"USENIX Security Symposium"},{"key":"ref16","first-page":"1481","article-title":"{SpecFuzz}: Bringing spectre-type vulnerabilities to the surface","author":"oleksenko","year":"0","journal-title":"29th USENIX Security Symposium (USENIX Security 20)"},{"key":"ref8","year":"0","journal-title":"OSS-Fuzz-Continuous Fuzzing for Open Source Software"},{"key":"ref7","first-page":"167","article-title":"{kAFL}:{Hardware-Assisted} feedback fuzzing for {OS} kernels","author":"schumilo","year":"0","journal-title":"26th USENIX Security Symposium (USENIX Security 17)"},{"key":"ref9","year":"0","journal-title":"syzkaller is an unsupervised coverage-guided kernel fuzzer"},{"key":"ref4","author":"gregg","year":"2019","journal-title":"Performance tools"},{"key":"ref3","author":"singh","year":"2020","journal-title":"Mac and audit policy using ebpf (krsi)"},{"key":"ref6","year":"0","journal-title":"CVE-2020–8835"},{"key":"ref5","article-title":"ebpf hardware offload to smartnics: cls bpf and xdp","volume":"1","author":"kicinski","year":"0","journal-title":"Proceedings of Netdev"}],"event":{"name":"ICC 2023 - IEEE International Conference on Communications","location":"Rome, Italy","start":{"date-parts":[[2023,5,28]]},"end":{"date-parts":[[2023,6,1]]}},"container-title":["ICC 2023 - IEEE International Conference on Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10278505\/10278554\/10278676.pdf?arnumber=10278676","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,17]],"date-time":"2025-07-17T17:53:20Z","timestamp":1752774800000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10278676\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,28]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icc45041.2023.10278676","relation":{},"subject":[],"published":{"date-parts":[[2023,5,28]]}}}