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]

@inproceedings{VafaeiHTF21,
  title = {SymbA: Symbolic Execution at C-level for Hardware Trojan Activation},
  author = {Arash Vafaei and Nick Hooten and Mark Tehranipoor and Farimah Farahmandi},
  year = {2021},
  doi = {10.1109/ITC50571.2021.00031},
  url = {https://doi.org/10.1109/ITC50571.2021.00031},
  researchr = {https://researchr.org/publication/VafaeiHTF21},
  cites = {0},
  citedby = {0},
  pages = {223-232},
  booktitle = {IEEE International Test Conference, ITC 2021, Anaheim, CA, USA, October 10-15, 2021},
  publisher = {IEEE},
  isbn = {978-1-6654-1695-5},
}