Published July 18, 2024 | Version v1
Software Open

Artifact: SemPat: Using Semantic Hyperproperty-based Analysis to Generate Microarchitectural Attack Patterns

Creators

  • 1. ROR icon University of California, Berkeley

Description

Artifact for CCS 2024 Paper: SemPat: Using Semantic Hyperproperty-based Analysis to Generate Microarchitectural Attack Patterns.

Files

ARTIFACT_README.md

Files (1.0 GB)

Name Size Download all
md5:70cdfbeac403ef1956fbef1ec557df00
6.8 kB Preview Download
md5:c83ee8e69a02c53fe24df29b71365f4c
796 Bytes Download
md5:e9798160e82f2df4dfad00427f2f23c2
286.1 MB Download
md5:5aa2e78b865ad7da5fd48b13140b2e5c
760.5 MB Download