Hiding Hardware Trojan Communication Channels in Partially Specified SoC Bus Functionality
VeriTrust: verification for hardware trust