Advancing the State-of-the-Art in Hardware Trojans Detection
VeriTrust: verification for hardware trust