Author Search Results :: UTM Library Massive Scholar Tracking

1

Rotational abstractions for verification of quantum Fourier transform circuits by Arun Govindankutty, Sudarshan K. Srinivasan, Nimish Mathure

Published 2023-06-01

Get full text

Article
2

A Refinement-Based Approach to Spectre Invulnerability Verification by Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti

Published 2022-01-01

Get full text

Article
3

Invulnerability invariants for software controlled speculation by Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti

Published 2024-12-01

Get full text

Article
4

Verification of serialising instructions for security against transient execution attacks by Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure

Published 2023-07-01

Get full text

Article
5

Illegal Trojan design and detection in asynchronous NULL Convention Logic and Sleep Convention Logic circuits by Kushal K. Ponugoti, Sudarshan K. Srinivasan, Scott C. Smith, Nimish Mathure

Published 2022-09-01

Get full text

Article