Amani S. Ibrahim, James H. Hamlyn-Harris, John Grundy, Mohamed Almorsy: Supporting Virtualization-Aware Security Solutions Using a Systematic Approach to Overcome the Semantic Gap. IEEE CLOUD 2012: 836-843