Login / Signup

Detecting Hardware Trojans using Model Guided Symbolic Execution.

Ruochen DaiTuba Yavuz
Published in: ACM Great Lakes Symposium on VLSI (2024)
Keyphrases
  • data sets
  • objective function
  • software engineering
  • building blocks
  • orders of magnitude
  • symbolic execution