Naoki Kobayashi
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Software Eng.×1
Frequent co-authors
Research Timeline
2026
Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers
The paper introduces DrvHorn, a novel automated tool that detects reference counting bugs in Linux kernel drivers by transforming the verification problem into an assertion checking task, successfully finding 424 previously unknown bugs.
Highlighted terms show continued research focus across papers