Kushal K. Ponugoti

According to our database, Kushal K. Ponugoti authored at least 11 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Hardware Trojan Design and Detection in Pre-Charge Half Buffer Asynchronous Circuits.

Chukwunalu Asuai, Mousam Hossain, Ashiq A. Sakib, Kushal K. Ponugoti

IEEE Access, 2026

Monolithic 3D Integration for Null Convention Logic (NCL)-Based Asynchronous Circuits.

Xiameng Zhang, Kushal K. Ponugoti, Ashiq A. Sakib, Madhava Sarma Vemuri

Proceedings of the 27th International Symposium on Quality Electronic Design, 2026

2024

Formal Verification of Early and Strict Serializing Instruction Enforcement.

Kushal K. Ponugoti

Proceedings of the International Conference on Electrical, 2024

Ensuring SFENCE Instruction Correctness: A Formal Verification Framework Based on Invariants.

Kushal K. Ponugoti

Proceedings of the IEEE International Conference on Electro Information Technology, 2024

2023

Verification of serialising instructions for security against transient execution attacks.

Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure

IET Comput. Digit. Tech., 2023

Hardware Mitigation and Verification For Rogue In-Flight Data Load Attacks.

Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti, Arun Govindankutty

Proceedings of the 30th IEEE International Conference on Electronics, Circuits and Systems, 2023

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

A Refinement-Based Approach to Spectre Invulnerability Verification.

Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti

IEEE Access, 2022

2021

Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits.

Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure

Proceedings of the 28th IEEE International Conference on Electronics, 2021

2020

Hardware Trojan Design and Detection in Asynchronous NCL Circuits.

Kushal K. Ponugoti, Sudarshan K. Srinivasan, Scott C. Smith

Proceedings of the 27th IEEE International Conference on Electronics, Circuits and Systems, 2020

A Formal Verification Approach for Detecting Opcode Trojans.

Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti, Akansha Malik, Samuel Quanbeck

Proceedings of the 27th IEEE International Conference on Electronics, Circuits and Systems, 2020