Daphne Labs

Исследования

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

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

Роевой интеллект и проверяемые системы

Автономные рои экспертов и аналитические движки на основе проверяемых данных и формального доказательства.

Безопасная передача данных

Перемещать и обменивать данные, не отдавая их облаку — иногда почти без всякой техники.

Оборудование с воздушным зазором и криптография

Устройства, закалённые против физических атак и атак по побочным каналам, и криптография, укоренённая в реальных закономерностях.

Публикации

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