Nimish Mathure

Orcid: 0000-0002-0508-3621

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Rotational abstractions for verification of quantum Fourier transform circuits.
IET Quantum Commun., 2023

Verification of serialising instructions for security against transient execution attacks.
IET Comput. Digit. Tech., 2023

Hardware Mitigation and Verification For Rogue In-Flight Data Load Attacks.
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.
IET Comput. Digit. Tech., 2022

A Refinement-Based Approach to Spectre Invulnerability Verification.
IEEE Access, 2022

2021
Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits.
Proceedings of the 28th IEEE International Conference on Electronics, 2021

2020
A Formal Verification Approach for Detecting Opcode Trojans.
Proceedings of the 27th IEEE International Conference on Electronics, Circuits and Systems, 2020


  Loading...