Research artifact
blue-pill-semantics.pdf
Supplement for Blue Pill as Observational Refinement: Computational and Higher-Categorical Semantics of Virtualization Subversion
Author: Anonymous
378,476 bytes · application/octet-stream
SHA-256: dfd6a1a10cbce0fdf46d48324c7bdeb8d80000e77b7cac4661f533b3fff82c9a
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/d4e095ca33ee6454cf2c55945c894343