Hasil Pencarian - Nimish Mathure

  • Menampilkan 1 - 4 hasil dari 4
Perbaiki Hasil
  1. 1
    Rotational abstractions for verification of quantum Fourier transform circuits

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

    Diterbitkan 2023-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    A Refinement-Based Approach to Spectre Invulnerability Verification

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

    Diterbitkan 2022-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Verification of serialising instructions for security against transient execution attacks

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

    Diterbitkan 2023-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Illegal Trojan design and detection in asynchronous NULL Convention Logic and Sleep Convention Logic circuits

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

    Diterbitkan 2022-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: