@inproceedings {machiry17:drchecker,
author = {Aravind Machiry and Chad Spensky and Jake Corina and Nick Stephens and Christopher Kruegel and Giovanni Vigna},
title = {{DR.CHECKER: A Soundy Analysis for Linux Kernel Drivers}},
booktitle = {Proceedings of the USENIX Security Symposium},
month = {August},
year = {2017},
address = {Vancouver, BC},
}