CASTLE: Architecting Assured System-on-Chip Firmware Integrity | IEEE Conference Publication | IEEE Xplore