conftrace_

machine code verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

software fault isolation (1) deterministic behavior (1) machine code verifier (1) position-oblivious code (1) deterministic execution (1) trusted computing base (1) smart contract (1) zero-knowledge proof (1) program verification (1)

Papers

Deterministic Client: Enforcing Determinism on Untrusted Machine Code OSDI 2025