Tutkimus
Työ tuotteiden takana.
Pitkäjänteistä työtä paikallisten järjestelmien parissa: kuinka laskea, viestiä ja suojata dataa ilman pilveä välissä. Valitut alueet ovat julkisia; arkaluontoinen ja lisensoitu työ ei.
Parviäly ja todennettavat järjestelmät
Autonomiset asiantuntijaparvet ja analyyttiset moottorit, jotka rakentuvat todennettavalle datalle ja formaalille todistukselle.
Turvallinen tiedonsiirto
Datan siirtämistä ja vaihtamista antamatta sitä pilvelle — joskus lähes ilman teknologiaa.
Air-gap-laitteisto ja kryptografia
Fyysisiä ja sivukanavahyökkäyksiä vastaan kovennetut laitteet sekä tosielämän kuvioihin ankkuroitu kryptografia.
Julkaisut ja yksityiskohtaiset kirjoitukset siirretään tänne.