A Refinement-Based Approach to Spectre Invulnerability Verification

Mathure, Nimish  (ORCID:0000000205083621); Srinivasan, Sudarshan K.  (ORCID:000000017040384X); Ponugoti, Kushal K.  (ORCID:0000000329570704)

doi:10.1109/ACCESS.2022.3195508

Attention:

The NSF Public Access Repository (PAR) system and access will be unavailable from 11:00 PM ET on Friday, December 13 until 2:00 AM ET on Saturday, December 14 due to maintenance. We apologize for the inconvenience.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.

+ Advanced Search

Citation Details

A Refinement-Based Approach to Spectre Invulnerability Verification

Award ID(s):: 2117190

PAR ID:: 10370423

Author(s) / Creator(s):: Mathure, Nimish ; Srinivasan, Sudarshan K. ; Ponugoti, Kushal K.

Publisher / Repository:: Institute of Electrical and Electronics Engineers

Date Published:: 2022-01-01

Journal Name:: IEEE Access

Volume:: 10

ISSN:: 2169-3536

Format(s):: Medium: X Size: p. 80949-80957

Size(s):: p. 80949-80957

Sponsoring Org:: National Science Foundation

Journal Article:
https://doi.org/10.1109/ACCESS.2022.3195508

Last Name:

First Name:

Search Results
Selected Authors

Type in a name, or the first few letters of a name, in one or both of appropriate search boxes above and select the search button. An attempt will be made to match authors that most closely relate to the text you typed.

No authors are currently selected. Choosing "Select These Authors" will enter a blank value for author search in the parent form.

Last Name:

First Name:

Search Results
Selected Editors

Type in a name, or the first few letters of a name, in one or both of appropriate search boxes above and select the search button. An attempt will be made to match editors that most closely relate to the text you typed.

No editors are currently selected. Choosing "Select These Editors" will enter a blank value for editor search in the parent form.

More Like this