研究

产品背后的工作。

对本地优先系统的长期探索：如何在中间不经过云的情况下计算、通信并保护数据。部分领域公开;敏感与受许可的工作则不公开。

群体智能与可验证系统

建立在可验证数据与形式化证明之上的自治专家群与分析引擎。

在不交给云的情况下移动与交换数据——有时几乎不用任何技术。

针对物理与侧信道攻击强化的设备,以及植根于现实世界模式的密码技术。

论文与详细文章正在迁移至此。