Mohammad Eslami, Tara Ghasempouri, Samuel Pagliarini. Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection. In 23rd International Symposium on Quality Electronic Design, ISQED 2022, Santa Clara, CA, USA, April 6-7, 2022. pages 1-6, IEEE, 2022. [doi]
Abstract is missing.