conftrace_

software fault isolation

1 paper

Explore in graph

Also known as

SFI

Co-occurring keywords · papers mentioning both

machine code verification (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