Kushal K. Ponugoti

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Formal Verification

Denial Of Service

Functional Decomposition

Top Venues

IET Comput. Digit. Tech.

Publications

Kushal K. Ponugoti
Ensuring SFENCE Instruction Correctness: A Formal Verification Framework Based on Invariants. EIT (2024)
Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure
Verification of serialising instructions for security against transient execution attacks. IET Comput. Digit. Tech. 17 (3-4) (2023)
Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti, Arun Govindankutty
Hardware Mitigation and Verification For Rogue In-Flight Data Load Attacks. ICECS (2023)
Kushal K. Ponugoti, Sudarshan K. Srinivasan, Scott C. Smith, Nimish Mathure
Illegal Trojan design and detection in asynchronous NULL Convention Logic and Sleep Convention Logic circuits. IET Comput. Digit. Tech. 16 (5-6) (2022)
Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti
A Refinement-Based Approach to Spectre Invulnerability Verification. IEEE Access 10 (2022)
Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure
Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits. ICECS (2021)
Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti, Akansha Malik, Samuel Quanbeck
A Formal Verification Approach for Detecting Opcode Trojans. ICECS (2020)
Kushal K. Ponugoti, Sudarshan K. Srinivasan, Scott C. Smith
Hardware Trojan Design and Detection in Asynchronous NCL Circuits. ICECS (2020)