LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi. LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution. In Kevin R. B. Butler, Kurt Thomas, editors, 31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022. pages 125-142, USENIX Association, 2022. [doi]

This author has not been identified. Look up 'Jian Liu' in GoogleThis author has not been identified. Look up 'Lin Yi' in GoogleThis author has not been identified. Look up 'Weiteng Chen' in GoogleThis author has not been identified. Look up 'Chengyu Song' in GoogleThis author has not been identified. Look up 'Zhiyun Qian' in GoogleThis author has not been identified. Look up 'Qiuping Yi' in Google

runs on WebDSL