DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers

  Link to paper

Authors

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

Venue

26th USENIX Security Symposium (USENIX Security 17) (USENIX), August 2017

BibTeX

@inproceedings{203708,
  title     = {{DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers}},
  author    = {Machiry, Aravind and Spensky, Chad and Corina, Jake and Stephens, Nick and Kruegel, Christopher and Vigna, Giovanni},
  booktitle = {26th USENIX Security Symposium (USENIX Security 17)},
  series    = {USENIX},
  month     = {August},
  year      = {2017},
  address   = {Vancouver, BC},
  isbn      = {978-1-931971-40-9},
  pages     = {1007--1024},
  publisher = {USENIX Association},
  url       = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/machiry}
}