A Test Case Generation Technique for VMM Fuzzing - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2013

A Test Case Generation Technique for VMM Fuzzing

Résumé

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.

Mots clés

Fichier principal
Vignette du fichier
978-3-642-36818-9_34_Chapter.pdf (93.14 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01480188 , version 1 (01-03-2017)

Licence

Identifiants

Citer

Xiaoxia Sun, Hua Chen, Jinjing Zhao, Minhuan Huang. A Test Case Generation Technique for VMM Fuzzing. 1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.318-323, ⟨10.1007/978-3-642-36818-9_34⟩. ⟨hal-01480188⟩
184 Consultations
186 Téléchargements

Altmetric

Partager

More