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

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic ExecutionAlif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra. itc 2018: 1-10 [doi]

A Novel Technique for Improving Hardware Trojan Detection and Reducing Trojan Activation TimeHassan Salmani, Mohammad Tehranipoor, Jim Plusquellic. tvlsi, 20(1):112-125, 2012. [doi]

runs on WebDSL