awesome-ocap

Mark Miller

2024-04:

2021-10:

2021-08:

2020-07:

is a self-hosted web productivity suite and with WordPress, Rocket.Chat, IPython Notebook and many more. protects you and your data against application bugs

2020-02-22:

2020-02-03:

connecting to external HTTP APIs via the Powerbox

2017-03-02: and related powerbox enhancements v0.200 (2017-01-28), v0.203

2015-02-06:

is a highly available decentralized cloud storage system. Even if some of the servers fail or are taken over by an attacker, the entire file store continues to function correctly, preserving your privacy and security

2024-01-01

2019-12: "Kate Sills on security issues using NPM packages, the EventStream incident, and SES" as possible solutions to npm supply-chain risks

2019-06: Agoric + Protocol Labs // - Mark Miller

2018-10-15:

2018-07-28: f4d3d5a

ESOP 2013

Jan 2016 to cap-talk

2022-11: by kumavis at Ethereum Devcon Bogota

2021-01:

2022-09:

is a high performance serialization and RPC protocol with distributed and persistent capabilities and promise pipelining. Bindings to python, JavaScript (in node.js), Go, Rust, etc. are available

2020-04-23:

2014-12-15: by Kenton Varda

2022-10

2021-07 "how to perform "conversational" programming in Spritely Goblins, or any other system which assumes a mutually suspicious network. ... The reason this system is able to be elegantly embedded in a network environment is its use of Spritely's implementation of CapTP."

2020-05-13

Gorlick, Michael M., and Richard N. Taylor. (2013)

Baquero, Alegria. Companion Proceedings of the 36th International Conference on Software Engineering. ACM, 2014

. Scott Moore, Christos Dimoulas, Dan King, and Stephen Chong. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI), October 2014

is a library for working with object capabilities in Scala

Comes with a

2018-09-22

cap-std

Capability-oriented version of the Rust standard library

Release v1.0.0 · bytecodealliance/cap-std

2022-11:

Release capnpc-v0.15.0 · capnproto/capnproto-rust

2022-11:

Zack Mullaly Jan 19, 2018

Release v2.18.0 · capnproto/go-capnproto2

2019-12:

supports object capability discipline by letting the caller handle network access

docker images:

S. Clebsch and S. Drossopoulou OOPSLA 2013

Release 0.1.0: Core language complete

2022-09:

2021-09: at California Smalltalkers

2021-03: Includes a brief demo of the WASM based Newspeak IDE

Docker images:

2017-03: presented by Corbin Simpson at OCAP 2017

is a novel OS architecture that is able to master the complexity of code and policy -- the most fundamental security problem shared by modern general-purpose operating systems -- by applying a strict organizational structure to all software components including device drivers, system services, and applications

2023-10 with power management

2021-08 "revamped GPU support as well as new drivers for the Pinephone and MNT-Reform"

2020-05-28 with ,

2020-05-07:

2020-03-10: Version 20.02 of the Sculpt operating system revisits the administrative user interface for a more intuitive and logical user experience

2020-02-28: With version 20.02, Genode makes Sculpt OS fit for running on i.MX 64-bit ARM hardware, optimizes the performance throughout the entire software stack, and takes the next evolutionary step of the user-facing side of Sculpt OS

2020-01-20:

2019-05: book ( )

Nov 30, 2017

2021-06 Julien Tinnes

2020-06-09 -

2017-05-08 Ars Technica

2022-10: Munich, Germany (hybrid), 10-13 Oct 2022

video playlist

wasmedge-seL4

2021-10: Integrate WasmEdge with seL4

2021-08:

2021-08:

2021-08:

2021-07:

2020-05-25 Gernot Heiser

2020-04-08:

MAY 19, 2017

FEBRUARY 8, 2017

Gerwin Klein, June Andronick, Kevin Elphinstone, Toby Murray, Thomas Sewell, Rafal Kolanski and Gernot Heiser

Thomas Sewell, Simon Winwood, Peter Gammie, Toby Murray, June Andronick and Gerwin Klein International Conference on Interactive Theorem Proving, pp. 325-340, Nijmegen, The Netherlands, August, 2011

2022-10: “As the foundation for this new operating system, we chose seL4 as the microkernel because it puts security front and center; it is mathematically proven secure, with guaranteed confidentiality, integrity, and availability.”

is an open source capability CPU design

2022-01 CHERI implements architectural capabilities that directly enable software security features such as fine-grained memory protection and scalable software compartmentalisation — both important software vulnerability mitigation techniques that are not well supported on current processor architectures. ... memory-safe C compilation and linkage

2019-09 Arm announced Morello, an experimental CHERI-extended, multicore, superscalar ARMv8-A processor, System-on-Chip (SoC), and prototype board to be available from late 2021. Morello is a part of the UKRI £187M Digital Security by Design Challenge (DSbD) supported by the UK Industrial Strategy Challenge Fund, including a commitment of over £50M commitment by Arm

2019-09

ref:

in series: