Secure firmware architecture using virtual hard disks | IEEE Conference Publication | IEEE Xplore