A test case generation technique for VMM fuzzing

Authors:
Xiaoxia Sun;Hua Chen;Jinjing Zhao;Minhuan Huang
Affiliations:
Beijing Institute of System Engineering, China, National Key Laboratory of Science and Technology on Information System Security, China;Beijing Institute of System Engineering, China, National Key Laboratory of Science and Technology on Information System Security, China;Beijing Institute of System Engineering, China, National Key Laboratory of Science and Technology on Information System Security, China;Beijing Institute of System Engineering, China, National Key Laboratory of Science and Technology on Information System Security, China
Venue:
ICT-EurAsia'13 Proceedings of the 2013 international conference on Information and Communication Technology
Year:
2013

Citing 4
Cited 0

Formal requirements for virtualizable third generation architectures

Communications of the ACM
Virtual machines for enterprise desktop security

Information Security Tech. Report
Analysis of the Intel Pentium's ability to support a secure virtual machine monitor

SSYM'00 Proceedings of the 9th conference on USENIX Security Symposium - Volume 9
Fuzzing: Brute Force Vulnerability Discovery

Fuzzing: Brute Force Vulnerability Discovery

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we first give a short introduction to the security situation of virtualization technology, and then analyze the implementation challenges of the CPU virtualization component of a hybrid system virtual machine with support of running a guest machine of the IA-32 instruction set. Based on a formal definition of the CPU's execution state, we propose a fuzzing test case generation technique for both the operands and operators of instructions, which can be applied to fuzz testing the virtual machine monitor (VMM) of a hybrid system virtual machine.