Arash Vafaei, Nick Hooten, Mark Tehranipoor, Farimah Farahmandi. SymbA: Symbolic Execution at C-level for Hardware Trojan Activation. In IEEE International Test Conference, ITC 2021, Anaheim, CA, USA, October 10-15, 2021. pages 223-232, IEEE, 2021. [doi]
Abstract is missing.