Hardware Trojan Design and Detection with Formal Verification to Deep Neural Network Author(s): Si-Han Chen, Yu-Ting Huang, Yi-Chun Kao, Yean-Ru Chen, Shang-Wei Lin, Chia-I Chen Download
