Aravind Machiry, Chad Spensky, Jake Corina, Nick Stephens, Christopher Kruegel, Giovanni Vigna. DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers. In Engin Kirda, Thomas Ristenpart, editors, 26th USENIX Security Symposium, USENIX Security 2017, Vancouver, BC, Canada, August 16-18, 2017. pages 1007-1024, USENIX Association, 2017. [doi]
Abstract is missing.