Hasil Pencarian - Nimish Mathure
- Menampilkan 1 - 4 hasil dari 4
-
1
Rotational abstractions for verification of quantum Fourier transform circuits oleh Arun Govindankutty, Sudarshan K. Srinivasan, Nimish Mathure
Diterbitkan 2023-06-01Dapatkan teks lengkap
Artikel -
2
A Refinement-Based Approach to Spectre Invulnerability Verification oleh Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti
Diterbitkan 2022-01-01Dapatkan teks lengkap
Artikel -
3
Verification of serialising instructions for security against transient execution attacks oleh Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure
Diterbitkan 2023-07-01Dapatkan teks lengkap
Artikel -
4