Tolerating malicious device drivers in Linux

Proceedings of the 2010 USENIX Annual Technical Conference, USENIX ATC 2010

Volumn , Issue , 2019, Pages 117-130

  Boyd Wickizer, Silas ^a   Zeldovich, Nickolai ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; ETHERNET; IEEE STANDARDS; PHYSICAL ADDRESSES; SYSTEM BUSES;

GIGABIT ETHERNET; HARDWARE DEVICES; HOST CONTROLLER; ISOLATION TECHNIQUES; KERNEL DRIVERS; KERNEL MODULES; LINES OF CODE; MALICIOUS ADVERSARIES;

LINUX;

EID: 85077110255     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (36)

1. Linux kernel i915 driver memory corruption vulnerability. http://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2008-3831.
2. The L4Ka Project. http://l4ka.org/.
3. Advanced Micro Devices, Inc. AMD I/O Virtualization Technology (IOMMU) Specification, February 2006.
4. M. Ben-Yehuda, J. Mason, J. Xenidis, O. Krieger, L. van Doorn, J. Nakajima, A. Mallick, and E. Wahlig. Utilizing IOMMUs for virtualization in linux and xen. In Proceedings of the2006 Ottawa Linux Symposium, Ottawa, Canada, July 2006.
5. L. Butti and J. Tinnes. Discovering and exploiting 802.11 wireless driver vulnerabilities. Journal in Computer Virology, 4(1), Feburary 2008.
6. M. Castro, M. Costa, J. P. Martin, M. Peinado, P. Akritidis, A. Donnelly, P. Barham, and R. Black. Fast byte-granularity software fault isolation. In Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, October 2009.
7. P. Chubb. Linux kernel infrastructure for user-level device drivers. In In Linux Conference, 2004.
8. F. M. David, E. M. Chan, J. C. Carlyle, and R. H. Campbell. CuriOS: Improving reliability through operating system structure. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation, San Diego, CA, December 2008.
9. J. Dike. The user-mode Linux kernel home page. http://user-mode-linux.sf.net/.
10. U. Erlingsson, M. Abadi, M. Vrable, M. Budiu, and G. C. Necula. XFI: software guards for system address spaces. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation, Seattle, WA, November 2006.
11. A. Ganapathi, V. Ganapathi, and D. Patterson. Windows XP kernel crash analysis. In Proceedings of the 20th USENIX Large Installation System Administration Conference, Washington, DC, December 2006.
12. V. Ganapathy, M. Renzelmann, A. Balakrishnan, M. Swift, and S. Jha. The design and implementation of microdrivers. In Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, Seattle, WA, March 2008.
13. K. Glerum, K. Kinshumann, S. Greenberg, G. Aul, V. Orgovan, G. Nichols, D. Grant, G. Loihle, and G. Hunt. Debugging in the (very) large: Ten years of implementation and experience. In Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, October 2009.
14. H. Härtig, J. Loeser, F. Mehnert, L. Reuther, M. Pohlack, and A. Warg. An I/O architecture for microkernel-based operating systems. Technical Report TUD-FI03-08, TU Dresden, Dresden, Germany, July 2003.
15. J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. Tanenbaum. Fault isolation for device drivers. In Proceedings of the2009 IEEE Dependable Systems and Networks Conference, Lisbon, Portugal, June-July 2009.
16. Intel. Intel 64 and IA-32 Architectures Developer's Manual, November 2008.
17. Intel. Intel Virtualization Technology for Directed I/O, September 2008.
18. R. Jones. Netperf: A network performance benchmark, version 2.45, 2009. http://www.netperf.org.
19. A. Kadav, M. J. Renzelmann, and M. M. Swift. Tolerating hardware device failures in software. In Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, October 2009.
20. E. Kohler, R. Morris, B. Chen, J. Jannotti, and M. F. Kaashoek. The Click modular router. ACM Transactions on Computer Systems, 18(4):263-297, November 2000.
21. B. Leslie, P. Chubb, N. Fitzroy-dale, S. Götz, C. Gray, L. Macpherson, D. Potts, Y. Shen, K. Elphinstone, and G. Heiser. User-level device drivers: Achieved performance. Journal of Computer Science and Technology, 20, 2005.
22. J. LeVasseur, V. Uhlig, J. Stoess, and S. Gotz. Unmodified device driver reuse and improved system dependability via virtual machines. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation, San Francisco, CA, December 2004.
23. A. Menon, S. Schubert, and W. Zwaenepoel. Twin-Drivers: semi-automatic derivation of fast and safe hypervisor network drivers from guest os drivers. In Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, Washington, DC, March 2009.
24. PCI-SIG. PCI local bus specification, revision 3.0 edition, February 2004.
25. PCI-SIG. PCI Express 2.0 base specification, revision 0.9 edition, September 2006.
26. M. J. Renzelmann and M. M. Swift. Decaf: Moving device drivers to a modern language. In Proceedings of the 2009 USENIX Annual Technical Conference, San Diego, CA, June 2009.
27. L. Ryzhyk, P. Chubb, I. Kuz, and G. Heiser. Dingo: Taming device drivers. In Proceedings of the ACM EuroSys Conference, Nuremberg, Germany, March 2009.
28. L. Ryzhyk, P. Chubb, I. Kuz, E. L. Sueur, and G. Heiser. Automatic device driver synthesis with Termite. In Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, October 2009.
29. M. Swift, M. Annamalai, B. N. Bershad, and H. M. Levy. Recovering device drivers. ACM Transactions on Computer Systems, 24(4), November 2006.
30. M. M. Swift, B. N. Bershad, and H. M. Levy. Improving the reliability of commodity operating systems. ACM Transactions on Computer Systems, 22(4), November 2004.
31. A. S. Tanenbaum and A. S. Woodhull. Operating Systems: Design and Implementation. Prentice Hall, 1997.
32. VMware. Configuration examples and troubleshooting for VMDirectPath. http://www.vmware.com/pdf/ vsp 4 vmdirectpath host.pdf.
33. D. Williams, P. Reynolds, K. Walsh, E. G. Sirer, and F. B. Schneider. Device driver safety through a reference validation mechanism. In Proceedings of the 21st ACM Symposium on Operating Systems Principles, Stevenson, WA, October 2007.
34. E. Witchel, J. Cates, and K. Asanovic. Mondrian memory protection. In Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, CA, October 2002.
35. E. Witchel, J. Rhee, and K. Asanovic. Mondrix: memory isolation for Linux using Mondriaan memory protection. In Proceedings of the 20th ACM Symposium on Operating Systems Principles, Brighton, UK, October 2005.
36. N. Zeldovich, H. Kannan, M. Dalton, and C. Kozyrakis. Hardware enforcement of application security policies. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation, pages 225-240, San Diego, CA, December 2008.