@misc{indiciae2729a2bd3dc2,
  title = {Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection},
  author = {Mohammad Eslami and Tara Ghasempouri and Samuel Pagliarini},
  year = {2023},
  doi = {10.1109/isqed54688.2022.9806292},
  url = {https://arxiv.org/abs/2201.01130},
  note = {Source identifier: 2201.01130}
}