Simple and precise static analysis of untrusted Linux kernel extensions
-
- Elazar Gershuni
- VMware, USA / Tel Aviv University, Israel
-
- Nadav Amit
- VMware, USA
-
- Arie Gurfinkel
- University of Waterloo, Canada
-
- Nina Narodytska
- VMware, USA
-
- Jorge A. Navas
- SRI International, USA
-
- Noam Rinetzky
- Tel Aviv University, Israel
-
- Leonid Ryzhyk
- VMware, USA
-
- Mooly Sagiv
- Tel Aviv University, Israel
書誌事項
- 公開日
- 2019-06-08
- 権利情報
-
- https://creativecommons.org/licenses/by/4.0/
- DOI
-
- 10.1145/3314221.3314590
- 公開者
- ACM
収録刊行物
-
- Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
-
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation 1069-1084, 2019-06-08
ACM