Object-capability systems
From Erights
(Difference between revisions)
Markm (Talk | contribs)
(Created page with "{| |- ! Substrate || || Historical System || || System |- | Hardware || || Plessey 250, CAP, C.mmp, IBM Sys38, Intel 432, || || CHERI, Risc-V, Mill |- | OS || || DVH, Hydra, Cal…")
Next diff →
(Created page with "{| |- ! Substrate || || Historical System || || System |- | Hardware || || Plessey 250, CAP, C.mmp, IBM Sys38, Intel 432, || || CHERI, Risc-V, Mill |- | OS || || DVH, Hydra, Cal…")
Next diff →
Revision as of 23:50, 10 March 2018
| Substrate | Historical System | System | ||
|---|---|---|---|---|
| Hardware | Plessey 250, CAP, C.mmp, IBM Sys38, Intel 432, | CHERI, Risc-V, Mill | ||
| OS | DVH, Hydra, Cal-TSS, KeyKOS, EROS, Coyotos, Mach, Midori | Capsicum, seL4, Fuscia | ||
| Language | Gedanken, W7, Eden, Emerald, Joule, E, Emily, M#, Caja, | Joe-E, Monte, Pony, Kappa, Dr.SES, Wyvern, wasm-gc | ||
| Crypto Protocol | DCCS, RATS, CapTP, Foolscap, Client Utility, | Waterken, Tahoe-LAFS(?), Cap’n Proto | ||
| Offline Certs | SPKI/SDSI, E-Speak, CapCert | Macaroons, lds-ocap | ||
| Blockchain | Gravity, Dfinity, RChain, Cosmos, Agoric Systems | |||
| User Interface | CapDesk, Belay | Sandstorm |
