DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers presented at usenixsecurity 2017

by Christopher Kruegel, Giovanni Vigna, Chad Spensky, Nick Stephens, Aravind Machiry, Jake Corina,

Summary : N/A