A Formal Verification Approach for Detecting Opcode Trojans. - Nimish Mathure; Sudarshan K. Srinivasan; Kushal K. Ponugoti; Akansha Malik; Samuel Quanbeck (ICECS, 2020)

Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits. - Kushal K. Ponugoti; Sudarshan K. Srinivasan; Nimish Mathure (ICECS, 2021)

A Refinement-Based Approach to Spectre Invulnerability Verification. - Nimish Mathure; Sudarshan K. Srinivasan; Kushal K. Ponugoti (IEEE Access, 2022)

Illegal Trojan design and detection in asynchronous NULL Convention Logic and Sleep Convention Logic circuits. - Kushal K. Ponugoti; Sudarshan K. Srinivasan; Scott C. Smith; Nimish Mathure (IET Comput. Digit. Tech., 2022)

Hardware Mitigation and Verification For Rogue In-Flight Data Load Attacks. - Nimish Mathure; Sudarshan K. Srinivasan; Kushal K. Ponugoti; Arun Govindankutty (ICECS, 2023)

Verification of serialising instructions for security against transient execution attacks. - Kushal K. Ponugoti; Sudarshan K. Srinivasan; Nimish Mathure (IET Comput. Digit. Tech., 2023)

Rotational abstractions for verification of quantum Fourier transform circuits. - Arun Govindankutty; Sudarshan K. Srinivasan; Nimish Mathure (IET Quantum Commun., 2023)