Synthesis of Hardware Sandboxes for Trojan Mitigation in Systems on Chip | IEEE Conference Publication | IEEE Xplore