Merkliste 
 1 Ergebnisse 
 
1

KRover: A Symbolic Execution Engine for Dynamic Kernel Anal..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
Pitigalaarachchi, Pansilu ; Ding, Xuhua ; Qiu, Haiqing... - p. 2009-2023 , 2023