Recherche
Le travail derrière les produits.
Un effort de longue haleine sur les systèmes local-first : calculer, communiquer et sécuriser les données sans cloud au milieu. Certains domaines sont publics ; les travaux sensibles et sous licence ne le sont pas.
Intelligence en essaim et systèmes vérifiables
Des essaims d'experts autonomes et des moteurs analytiques bâtis sur des données vérifiables et la preuve formelle.
Communication de données sécurisée
Déplacer et échanger des données sans les confier au cloud — parfois avec presque aucune technologie.
Matériel air-gap et cryptographie
Des appareils durcis contre les attaques physiques et par canal auxiliaire, et une cryptographie ancrée dans des schémas du monde réel.
Les publications et analyses détaillées sont en cours de migration ici.