Stefan Dziembowski, Sebastian Faust, and Francois-Xavier Standaert Hardware Trojan-Resilience via Testing Amplification