K-binID: Kernel binary code identification for Virtual Machine Introspection | IEEE Conference Publication | IEEE Xplore