conftrace_

machine code verifier

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

deterministic behavior (1) position-oblivious code (1) software fault isolation (1) machine code verification (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