Securing DMA through virtualization

2012 IEEE Workshop on Complexity in Engineering, COMPENG 2012 - Proceedings

Volumn , Issue , 2012, Pages 118-123

  Schwarz, Oliver ^a   Gehrmann, Christian ^a  

^a SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT CONCEPT; DIRECT MEMORY ACCESS; DMA CONTROLLERS; DMA TRANSFERS; MEMORY MANAGEMENT UNIT; MEMORY REGION; STANDARD HARDWARE; VIRTUALIZATIONS;

HARDWARE;

VIRTUAL REALITY;

EID: 84866553727     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CompEng.2012.6242958     Document Type: Conference Paper

References (19)

1. C. Gehrmann, H. Douglas, and D. K. Nilsson, "Are there good reasons for protecting mobile phones with hypervisors?" in IEEE Consumer Communications and Networking Conference, January 2011.
2. ARM, "Cortex-A15 processor," http://www.arm.com/products/ processors/cortex-a/cortex-a15.php.
3. R. Mijat and A. Nightingale, "Virtualization is coming to a platform near you," ARM Whitepaper, 2011, http://www.arm.com/files/pdf/System-MMU- Whitepaper-v8.0.pdf.
4. Advanced Micro Devices, Inc., "AMD I/O Virtualization Technology (IOMMU) Specification," 2009, http://www.mimuw.edu.pl/~vincent/lecture6/ sources/amd-pacifica-specification.pdf.
5. J. Brakensiek, A. Dröge, M. Botteck, H. Härtig, and A. Lackorzynski, "Virtualization as an enabler for security in mobile devices," in Proceedings of the 1st workshop on Isolation and integration in embedded systems, ser. IIES '08. ACM, 2008, pp. 17-22.
6. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield, "Xen and the Art of Virtualization," in Proceedings of the nineteenth ACM symposium on Operating systems principles, ser. Operating Systems Review, vol. 37, 5. New York: ACM Press, Oct. 19-22 2003, pp. 164-177.
7. J.-Y. Hwang, S.-B. Suh, S.-K. Heo, C.-J. Park, J.-M. Ryu, S.-Y. Park, and C.-R. Kim, "Xen on ARM: System Virtualization using Xen Hypervisor for ARM-based Secure Mobile Phones," in 5th IEEE Consumer Communications and Networking Conference (CCNC 2008), Las Vegas, NV, USA, Jan. 2008.
8. F. Armand and M. Gien, "A Practical Look at Micro-Kernels and Virtual Machine Monitors," in Proceedings of the 6th Consumer Communications and Networking Conference (IEEE CCNC '09), Las Vegas, NV, USA, Jan. 2009.
9. A. Seshadri, M. Luk, N. Qu, and A. Perrig, "SecVisor: A Tiny Hypervisor to Provide Lifetime Kernel Code Integrity for Commodity OSes," in Proceedings of the 21st Symposium on Operating System Principles(SOSP 2007), Stevenson, Washington, USA, Oct. 14-17 2007, pp. 335-350.
10. J. M. McCune, Y. Li, N. Qu, Z. Zhou, A. Datta, V. Gligor, and A. Perrig, "TrustVisor: Efficient TCB reduction and attestation," in Proceedings of the IEEE Symposium on Security and Privacy, May 2010.
11. H. Härtig, J. Löser, F. Mehnert, L. Reuther, M. Pohlack, and A. Warg, "An I/O Architecture for Mikrokernel-Based Operating Systems," Dresden University of Technology, Dresden, Germany, Tech. Rep. TUD-FI03-08, 2003, http://os.inf.tu-dresden.de/papers-ps/tr-ioarch-2003.pdf.
12. G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, T. Sewell, H. Tuch, and S. Winwood, "seL4: Formal verification of an OS kernel," in Proc. 22nd ACM Symposium on Operating Systems Principles (SOSP). Big Sky, MT, USA: ACM, October 2009, pp. 207-220.
13. H. Tews, "Micro hypervisor verification: Possible approaches and relevant properties," 2007.
14. U. Steinberg and B. Kauer, "NOVA: A Microhypervisor-Based Secure Virtualization Architecture," in Proceedings of EuroSys, 2010.
15. W. Arbaugh, D. Farber, and J. Smith, "A secure and reliable bootstrap architecture," IEEE Symposium on Security and Privacy, p. 0065, 1997.
16. F. L. Sang, ric Lacombe, V. Nicomette, and Y. Deswarte, "Exploiting an I/OMMU vulnerability," in 5th International Conference on Malicious and Unwanted Software (MALWARE), 2010, pp. 7-14.
17. "Open virtual platforms," http://www.ovpworld.org.
18. PrimeCell DMAController (PL080) Technical Reference Manual, rev r1p3 ed., ARM, 2005, http://infocenter.arm.com/help/topic/com.arm.doc.ddi0196g/index. html.
19. Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions. Berlin: Springer-Verlag, 2004.