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

Arash Vafaei, Nick Hooten, Mark Tehranipoor, Farimah Farahmandi

Browse the full ITC paper archive.