Model Checking Leveraged Error Localization for Complex RTL Designs. - Suriya Srinivasan; Ranga Vemuri (ICCD, 2022)

Mutation Analysis and Model Checking Guided Test Generation for SoC Run-Time Monitors. - Suriya Srinivasan; Ranga Vemuri (VLSID, 2023)

Trojan Localization Using Information Flow Tracking Properties in SoC Designs. - Suriya Srinivasan; Ranga Vemuri (VLSID, 2024)

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