Simple and precise static analysis of untrusted Linux kernel extensions

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 08, 2019
Source ID
10.1145/3314221.3314590

Entities

People

  • Arie Gurfinkel
  • Elazar Gershuni
  • Jorge A. Navas
  • Leonid Ryzhyk
  • Mooly Sagiv
  • Nadav Amit
  • Nina Narodytska
  • Noam Rinetzky

Organizations

  • Israel Science Foundation
  • National Science Foundation
  • Natural Sciences and Engineering Research Council
  • Office of Naval Research
  • Pazy Foundation
  • SRI International
  • Tel Aviv University
  • University of Waterloo
  • VMware