Object-capability systems

From Erights

Revision as of 23:50, 10 March 2018 by Markm (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search
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
Personal tools
more tools