Integrity Verification and Secure Loading of Remote Binaries for Microkernel-Based Runtime Environments. - Michael Weiß; Steffen Wagner; Roland Hellman; Sascha Wessel (TrustCom, 2014)