Kushal K. Ponugoti

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

Collaborative distances:

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

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