Hardware Trojan Detection through Information Flow Security Verification

Adib Nahiyan, Mehdi Sadi, Rahul Vittal +3

Semiconductor design houses are increasingly becoming dependent on third party vendors to procure intellectual property (IP) and meet time-to-market constraints. However, these thi…