|
Capability
Computation |
||||||
| Capability Security Overview | E's Capabilities are object references that can span machines and persist, while still being unforgeable. | |||
 |
3 Parts of Security: If computer security is the answer, what's the question? | |||
| Intro to Capabilities: Gentle but compelling | ||||
The Ode: From lambda calculus, through
capabilities, to smart contracts. Presented at Financial Cryptography
2000. |
||||
| Capabilities by Sound Bytes: Bytes of wisdom from the master of modern capability theory. | ||||
 |
In Capability Myths Demolished, we set the record straight. | |||
|
|
||||
| Statement of Consensus: Heated email argument leads to surprisingly many points of agreement. | ||||
 |
The Grant Matcher finally clarifies the meaning of distributed equality in a mutually suspicious world. | |||
| The PetName Markup Language creates a name space humans can use securely, so they can play too. | ||||
| The Dead Man Switch provides remote revocability despite partial failure. |
Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.
|
|
report bug (including invalid html)
|
||||||||
