VeriTrust: verification for hardware trust
Experiences in Hardware Trojan design and implementation