%0 Conference Proceedings
%T A Test Case Generation Technique for VMM Fuzzing
%+ Beijing Institute of System Engineering
%+ National Key Laboratory of Science and Technology on Information System Security
%A Sun, Xiaoxia
%A Chen, Hua
%A Zhao, Jinjing
%A Huang, Minhuan
%Z Part 2: Asian Conference on Availability, Reliability and Security (AsiaARES)
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 1st International Conference on Information and Communication Technology (ICT-EurAsia)
%C Yogyakarta, Indonesia
%Y David Hutchison
%Y Takeo Kanade
%Y Madhu Sudan
%Y Demetri Terzopoulos
%Y Doug Tygar
%Y Moshe Y. Vardi
%Y Gerhard Weikum
%Y Khabib Mustofa
%Y Erich J. Neuhold
%Y A Min Tjoa
%Y Edgar Weippl
%Y Ilsun You
%Y Josef Kittler
%Y Jon M. Kleinberg
%Y Friedemann Mattern
%Y John C. Mitchell
%Y Moni Naor
%Y Oscar Nierstrasz
%Y C. Pandu Rangan
%Y Bernhard Steffen
%I Springer
%3 Information and Communicatiaon Technology
%V LNCS-7804
%P 318-323
%8 2013-03-25
%D 2013
%R 10.1007/978-3-642-36818-9_34
%K VMM
%K fuzzing
%K IA-32
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X 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.
%G English
%Z TC 5
%Z TC 8
%2 https://inria.hal.science/hal-01480188/document
%2 https://inria.hal.science/hal-01480188/file/978-3-642-36818-9_34_Chapter.pdf
%L hal-01480188
%U https://inria.hal.science/hal-01480188
%~ SHS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-TC8
%~ IFIP-ICT-EURASIA
%~ IFIP-LNCS-7804