VeriTrust: verification for hardware trust
Silencing Hardware Backdoors