Symbolic Software 位于法国巴黎，专注于对应用加密系统进行现代洞察，通过对内部安全基础架构和软件代码进行综合审计，确保面对现实世界的软件足够安全。他们审核世界领先的协作平台、密码管理器、钱包等核心加密组件。
自 2017 年以来，Symbolic Software 领导并参与了 300 多次加密和软件审计。Nadim 和他的合作者帮助发现了Mozilla Thunderbird 中 PGP 加密的关键漏洞，帮助为RememBear等密码管理器设计了更安全的设备配对协议，还致力于审计和保护重要的加密货币技术，例如MetaMask。
