Uuringud
Töö, mis on toodete taga.
Pikaajaline töö kohalike süsteemidega: kuidas arvutada, suhelda ja andmeid kaitsta ilma pilveta keskel. Valitud valdkonnad on avalikud; tundlik ja litsentsitud töö mitte.
Parvintellekt ja kontrollitavad süsteemid
Autonoomsed eksperdiparved ja analüütilised mootorid, mis põhinevad kontrollitavatel andmetel ja formaalsel tõestusel.
Turvaline andmeside
Andmete liigutamine ja vahetamine ilma neid pilvele andmata — vahel peaaegu ilma tehnoloogiata.
Õhupiluga riistvara ja krüptograafia
Füüsiliste ja kõrvalkanali rünnakute vastu karastatud seadmed ning reaalse maailma mustritel põhinev krüptograafia.
Publikatsioonid ja põhjalikud ülevaated on siia migreerimisel.