Symbolic Software

企业品牌

未认领 AI 爬虫已读取 1 次申请更正

一家于2017年在巴黎创立的独立应用密码学咨询公司。

最近更新 2026年9月2日

AI 爬虫读取

1次请求

1家公司

Anthropic1

词条页: 1
争议页: 0
JSON · MD: 0

首次读取: 2026年11月4日
最近读取: 2026年11月4日

统计自 2026年10月28日 · 数据来自本站服务器日志

概览

Symbolic Software 是一家独立的密码学应用咨询公司，由纳迪姆·科贝西博士于2017年在巴黎创立。该公司审查密码协议、威胁模型、形式模型、库和实现。自2017年以来已完成超过250个项目。公开点名的客户包括 1Password、Mozilla、Zoom、Coinbase、Bitwarden 和 Linux 基金会。公司还维护 Verifpal 和 Crucible 等开源密码学项目。

沿革

Symbolic Software 由纳迪姆·科贝西博士于2017年在巴黎创立。该公司审查密码协议、威胁模型、形式模型、库和实现。自2017年以来已完成超过250个项目。公开点名的客户包括 1Password、Mozilla、Zoom、Coinbase、Bitwarden 和 Linux 基金会。公司还维护 Verifpal 和 Crucible 等开源密码学项目。

来源2 个来源

引用本词条: 请引用规范词条页。 /brand-wiki/symbolic-software · 编辑方针 · 词条如何编纂