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

Hardware Trojan Design and Detection in Asynchronous NCL Circuits. - Kushal K. Ponugoti; Sudarshan K. Srinivasan; Scott C. Smith (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)

Ensuring SFENCE Instruction Correctness: A Formal Verification Framework Based on Invariants. - Kushal K. Ponugoti (EIT, 2024)

Formal Verification of Early and Strict Serializing Instruction Enforcement. - Kushal K. Ponugoti (ICECET, 2024)