@inproceedings {203708,
	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 = {26th USENIX Security Symposium (USENIX Security 17)},
	year = {2017},
	isbn = {978-1-931971-40-9},
	address = {Vancouver, BC},
	pages = {1007--1024},
	url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/machiry},
	publisher = {USENIX Association},
	month = aug
}
