TrustedBox: a kernel-level integrity checker | IEEE Conference Publication | IEEE Xplore