Research Artifact for "Deterministic Client: Enforcing Determinism on Untrusted Machine Code" - View it on GitHub