Publications

Working papers, technical reports, and preprints from the Kernel Institute.

Working Paper • Series V: Verification

Impossible Delegation v3.0

Theorems on the limits of delegating verifiable functions to private agents.

Coming Soon