Object-capability systems

From Erights

Revision as of 03:35, 11 March 2018 by Markm (Talk | contribs)
Jump to: navigation, search
Substrate Historical System System
Hardware Plessey 250, CAP, C.mmp, IBM Sys38, Intel 432 CHERI, Risc-V
OS DVH, Hydra, Cal-TSS, KeyKOS, EROS, Coyotos Capsicum, seL4, Fuscia
Distributed OS Ameoba, Mach, Midori
Language Gedanken, W7, Joe-E, Emily, Caja Monte, Frozen Realms, Wyvern, wasm-gc
Distributed Language Eden, Emerald, Joule, E, M# Pony, Kappa, Dr.SES
Crypto Protocol DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken 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