Published March 30, 2025
| Version v1
Conference paper
Open
RTL Verification for Secure Speculation Using Contract Shadow Logic
Authors/Creators
-
1.
Princeton University
- 2. MIT CSAIL
- 3. EPFL
Files
ShadowLogicArtifact-main.zip
Files
(3.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:9df3fd3c2d654e72789f4be7c4a14515
|
3.4 MB | Preview Download |