SymbA: Symbolic Execution at C-level for Hardware Trojan Activation

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]

Authors

Arash Vafaei

This author has not been identified. Look up 'Arash Vafaei' in Google

Nick Hooten

This author has not been identified. Look up 'Nick Hooten' in Google

Mark Tehranipoor

This author has not been identified. Look up 'Mark Tehranipoor' in Google

Farimah Farahmandi

This author has not been identified. Look up 'Farimah Farahmandi' in Google