Nimish Mathure

Publication Activity (10 Years)

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

Top Topics

Power Spectral Density

Fourier Transform

Top Venues

IET Comput. Digit. Tech.

IET Quantum Commun.

Publications

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)
Arun Govindankutty, Sudarshan K. Srinivasan, Nimish Mathure
Rotational abstractions for verification of quantum Fourier transform circuits. IET Quantum Commun. 4 (2) (2023)
Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti, Arun Govindankutty
Hardware Mitigation and Verification For Rogue In-Flight Data Load Attacks. ICECS (2023)
Arun Govindankutty, Sudarshan K. Srinivasan, Nimish Mathure
Rotational Abstractions for Verification of Quantum Fourier Transform Circuits. CoRR (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)