Pesquisa
O trabalho por trás dos produtos.
Um esforço de longa data em sistemas local-first: como computar, comunicar e proteger dados sem uma nuvem no meio. Algumas áreas são públicas; o trabalho sensível e licenciado não é.
Inteligência de enxame e sistemas verificáveis
Enxames de especialistas autônomos e motores analíticos construídos sobre dados verificáveis e prova formal.
Comunicação segura de dados
Mover e trocar dados sem entregá-los à nuvem — às vezes com quase nenhuma tecnologia.
Hardware air-gap e criptografia
Dispositivos reforçados contra ataques físicos e de canal lateral, e criptografia ancorada em padrões do mundo real.
Publicações e análises detalhadas estão sendo migradas para cá.