Verification of Authenticated Firmware Loaders | IEEE Conference Publication | IEEE Xplore