Pansilu Pitigalaarachchi, Xuhua Ding, Haiqing Qiu, Haoxin Tu, Jiaqi Hong, Lingxiao Jiang. KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis. In Weizhi Meng 0001, Christian Damsgaard Jensen, Cas Cremers, Engin Kirda, editors, Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023. pages 2009-2023, ACM, 2023. [doi]
Abstract is missing.