Исследования
Работа, стоящая за продуктами.
Многолетняя работа над локальными системами: как вычислять, обмениваться и защищать данные без облака посередине. Отдельные направления открыты; чувствительные и лицензированные работы — нет.
Роевой интеллект и проверяемые системы
Автономные рои экспертов и аналитические движки на основе проверяемых данных и формального доказательства.
Безопасная передача данных
Перемещать и обменивать данные, не отдавая их облаку — иногда почти без всякой техники.
Оборудование с воздушным зазором и криптография
Устройства, закалённые против физических атак и атак по побочным каналам, и криптография, укоренённая в реальных закономерностях.
Публикации и подробные материалы переносятся сюда.