Araştırma
Ürünlerin ardındaki çalışma.
Yerel-öncelikli sistemler üzerine uzun soluklu bir çaba: araya bulut girmeden hesaplamak, haberleşmek ve veriyi güvenceye almak. Seçili alanlar herkese açıktır; hassas ve izinli çalışmalar değildir.
Sürü zekâsı ve doğrulanabilir sistemler
Doğrulanabilir veri ve biçimsel kanıt üzerine kurulu özerk uzman sürüleri ve analitik motorlar.
Güvenli veri haberleşmesi
Veriyi buluta teslim etmeden taşımak ve değiştokuş etmek — bazen neredeyse hiç teknoloji kullanmadan.
Air-gap donanım ve kriptografi
Fiziksel ve yan kanal saldırılarına karşı sertleştirilmiş cihazlar ve gerçek dünya örüntülerine dayanan kriptografi.
Yayınlar ve ayrıntılı yazılar buraya taşınıyor.