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
Location:
United States
Year:
2021
Type:
Paper
Format:
pdf