Assertion-Based Trojan Localization Using Iterative Path Sensitization. - Suriya Srinivasan; Andrew Jones; Cameron Hingson; Gannon Darrach; Ranga Vemuri (ISQED, 2025)