Published January 22, 2024 | Version v1
Software Open

Artifact: Lifting Micro-Update Models from RTL for Formal Security Analysis

Creators

  • 1. ROR icon University of California, Berkeley

Description

Artifact for ASPLOS 2024 Paper: Lifting Micro-Update Models from RTL for Formal Security Analysis (https://doi.org/10.1145/3620665.3640418).

Files

asplos24-lifting.zip

Files (43.7 MB)

Name Size Download all
md5:74911787f549298fa804b3a3c0ecfe5c
43.7 MB Preview Download

Additional details

Software

Programming language
Python, Verilog
Development Status
Concept