Ricerca
Il lavoro dietro i prodotti.
Un impegno di lunga data sui sistemi local-first: calcolare, comunicare e proteggere i dati senza un cloud nel mezzo. Alcune aree sono pubbliche; i lavori sensibili e su licenza no.
Intelligenza a sciame e sistemi verificabili
Sciami di esperti autonomi e motori analitici basati su dati verificabili e prova formale.
Comunicazione sicura dei dati
Spostare e scambiare dati senza affidarli al cloud — a volte quasi senza tecnologia.
Hardware air-gap e crittografia
Dispositivi rafforzati contro attacchi fisici e side-channel, e crittografia ancorata a schemi del mondo reale.
Le pubblicazioni e le analisi dettagliate sono in migrazione qui.