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