Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Nimish Mathure
Observed name:
Mathure, Nimish
Institution:
Loras College
Observed institutions:
Loras College,
North Dakota State University
ORCID:
0000-0002-0508-3621
Observed ORCID:
0000-0002-0508-3621
OpenAlex ID:
A5049700487
Rotational abstractions for verification of quantum Fourier transform circuits
2023
·
Arun Govindankutty
, Sudarshan K. Srinivasan
, et al.
·
IET Quantum Communication
·
15
PDF
Illegal Trojan design and detection in asynchronous NULL Convention Logic and Sleep Convention Logic circuits
2022
·
Kushal K. Ponugoti
, Sudarshan K. Srinivasan
, et al.
·
IET Computers & Digital Techniques
·
7
PDF
Verification of serialising instructions for security against transient execution attacks
2023
·
Kushal K. Ponugoti
, Sudarshan K. Srinivasan
, et al.
·
IET Computers & Digital Techniques
·
6
PDF
A Refinement-Based Approach to Spectre Invulnerability Verification
2022
·
Nimish Mathure
, Sudarshan K. Srinivasan
, et al.
·
IEEE Access
·
4
PDF
Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits
2021
·
Kushal K. Ponugoti
, Sudarshan K. Srinivasan
, et al.
·
IEEE International Conference on Electronics, Circuits and Systems (ICECS)
·
3
A Formal Verification Approach for Detecting Opcode Trojans
2020
·
Nimish Mathure
, Sudarshan K. Srinivasan
, et al.
·
IEEE International Conference on Electronics, Circuits and Systems (ICECS)
·
2
Invulnerability invariants for software controlled speculation
2024
·
Nimish Mathure
, Sudarshan K. Srinivasan
, et al.
·
Electronics Letters
·
1
PDF
Supporting Code for Invulnerability Checking for Memory Protection Extensions Against Meltdown
2026
·
Moshood, Yusuf
, Srinivasan, Sudarshan K.
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Invulnerability Checking for Memory Protection Extensions Against Meltdown
2026
·
Yusuf Moshood
, Sudarshan K. Srinivasan
, et al.
·
IEEE International Symposium on Circuits and Systems proceedings
Hardware Mitigation and Verification For Rogue In-Flight Data Load Attacks
2023
·
Nimish Mathure
, Sudarshan K. Srinivasan
, et al.
·
IEEE International Conference on Electronics, Circuits and Systems (ICECS)
Show more works
View as search
Works count:
10
Citation count:
38
H-index:
4
I10-index:
1
Year
Topic
Type
