SDSI - A Simple Distributed Security Infrastructure

Home | cse223b

CSE 223B is a 4-unit graduate subject with lectures, paper discussions, a midterm, and technical report exercise, and a major term research project culminating in writing a research paper of your own. It will present abstractions and implementation techniques that facilitate the design of distributed systems–including both operating systems and sophisticated Internet servers–that can deal with the demands of real-world workloads. Topics will include efficient operating system primitives, high-performance network servers, load shedding, storage systems, security, and fault tolerance.

OpenMLS

An open-source implementation of the Messaging Layer Security (MLS) protocol.

Genode - Genode Operating System Framework

We understand the complexity of code and policy as the most fundamental security problem shared by modern general-purpose operating systems. Because of high functional demands and dynamic workloads, however, this complexity cannot be avoided. But it can be organized. Genode is a novel OS architecture that is able to master complexity by applying a strict organizational structure to all software components including device drivers, system services, and applications. The Genode OS framework is an open-source tool kit for building highly secure component-based operating systems. It scales from embedded devices to dynamic general-purpose computing.

Keri.one | The First Truly Decentralized Identity System

Key Event Receipt Infrastructure (KERI) is the first truly fully decentralized identity system.

Sharing a safety tool: announcing policyserv

Matrix, the open protocol for secure decentralised communications

IPFS: Building blocks for a better web | IPFS

Open protocols to store, verify, and share data across distributed networks.

Secure Minions: private collaboration between Ollama and frontier models· Ollama Blog

Secure Minions is a secure protocol built by Stanford's Hazy Research lab to allow encrypted local-remote communication.

Building Software for a Zero Trust World

How we are helping to build Zero Trust architectures that safeguard the most protected data in the world

Composing capability security and conflict-free replicated data types — Spritely Institute

In August, I attended the DWeb Seminar where a small group of builders gathered to discuss the state-of-the-art and open problems in the distributed web space. Some in the group are primarily concerned with distributed data and focus on sync algorithms and local-first use cases. I am mainly concerned with distributed behavior and focus on the object capability security model. Both areas of study are steeped in their own lore and research papers, which makes it difficult for the two camps to communicate effectively with each other.

The Matrix Holiday Update 2022

Matrix, the open protocol for secure decentralised communications

UCAN - User Controlled Authorization Network

A trustless, secure, local-first, user-originated, distributed authorization scheme.

We are the developers of SDL, ask us anything!

496 votes, 257 comments. Hello! We are Sam Lantinga ( u/slouken ) and Ryan C. Gordon ( u/icculus ), developers of Simple Directmedia Layer (SDL). We…

The Heart of Spritely: Distributed Objects and Capability Security

This paper is the second in a three-part series outlining Spritely's thinking and design. The first paper, Spritely: New Foundations for Networked Communities, explains the problems which face contemporary social network design. This paper details the core technical toolbox provided by Spritely Goblins and how it supplies the necessary features to feasibly build out Spritely's broader vision. The third paper in the series, Spritely for Secure Applications and Communities, ties the first two papers together by showing how the architecture for user-facing software fulfills the vision of the first paper and can be built on top of ideas from this paper.