Integrity Verification and Secure Loading of Remote Binaries for Microkernel-Based Runtime Environments | IEEE Conference Publication | IEEE Xplore