Daphne Labs

Дослідження

Робота, що стоїть за продуктами.

Багаторічна праця над локальними системами: як обчислювати, обмінюватися та захищати дані без хмари посередині. Окремі напрями відкриті; чутлива та ліцензована робота — ні.

Роїстий інтелект і перевірювані системи

Автономні рої експертів і аналітичні рушії на основі перевірюваних даних і формального доведення.

Безпечний обмін даними

Переміщувати й обмінювати дані, не віддаючи їх хмарі — інколи майже без жодної техніки.

Обладнання з повітряним зазором і криптографія

Пристрої, загартовані проти фізичних атак і атак бічними каналами, і криптографія, вкорінена в реальних закономірностях.

Публікації

Публікації та докладні матеріали переносяться сюди.