Research
The work behind the products.
A long-running effort in local-first systems: how to compute, communicate and secure data without a cloud in the middle. Selected areas are public; sensitive and licensed work is not.
Swarm intelligence & verifiable systems
Autonomous expert swarms and analytical engines built on verifiable data and formal proving.
Secure data communication
Moving and exchanging data without handing it to the cloud — sometimes with barely any technology at all.
Air-gap hardware & cryptography
Devices hardened against physical and side-channel attack, and cryptography anchored in real-world patterns.
Publications and detailed write-ups are being migrated here.