Nimish Mathure

According to our database, Nimish Mathure authored at least 7 papers between 2020 and 2023.

Collaborative distances:

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

2023

Rotational abstractions for verification of quantum Fourier transform circuits.

Arun Govindankutty, Sudarshan K. Srinivasan, Nimish Mathure

IET Quantum Commun., 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

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