Skip to main content
eScholarship
Open Access Publications from the University of California

Symbolic execution based test-patterns generation algorithm for hardware Trojan detection

  • Author(s): Shen, L
  • Mu, D
  • Cao, G
  • Qin, M
  • Blackstone, J
  • Kastner, R
  • et al.
Main Content
Current View