THE WORK / PUBLIC REFERENCE PROJECTS

Ideas are useful.
Working code is better.

Five independent projects exploring the boundaries that make software dependable: identity, permissions, data integrity and reliable execution.

5 projects

These are public engineering reference projects. Each project page describes its implemented behavior, verification and limits.