Supporting Virtualization-Aware Security Solutions Using a Systematic Approach to Overcome the Semantic Gap | IEEE Conference Publication | IEEE Xplore