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, Lixiang
  • Mu, Dejun
  • Cao, Guo
  • Qin, Maoyuan
  • Blackstone, Jeremy
  • Kastner, Ryan
  • et al.
Main Content
Current View