Reasonably Secure Computing in the Decentralized World

>>Dyslex+(OP)
i'm developing an os with an architecture similar to qubes, in part because i disagree with the idea of using hardware virt as an isolation mechanism. i think this can be done with os virtualization much more cheaply without being much more difficult to secure. still quite early in the project, but i think we're touching on some interesting stuff.

>>xj9+zi
Are you planning to use L4?

>>walter+ej
yes, I'm partial to seL4 in particular. I'm using flatpak as the application image format. these require sessions, but I see that as a plus. the goal isn't compatibility, rather to build an os platform specifically for running p2p applications. linux is a convenient abi and makes windows compat easy.

i am using linux and genode to compose a more modern version of the plan 9 system. other core tech includes ipfs, i2p, secure scuttlebutt, and mqtt.

zlacker