Research artifact
blue-pill-semantics-publication-package-v1.0.zip
Supplement for Blue Pill as Observational Refinement: Computational and Higher-Categorical Semantics of Virtualization Subversion
Author: Anonymous
420,710 bytes · application/zip
SHA-256: a0038b32f6331ab262eea6a69ef74f29b6fd2ea519adaf822116456d119f7af4
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/1a9333a7cbe9565d6b98410a0f55c596