Nadim Kobeissi 是 Capsule 创始人，Cryptography FM 播客主持人，曾在纽约大学巴黎校区教授计算机安全课程。n同时，他经营着位于巴黎的应用密码学咨询办公室 Symbolic Software，提供安全审核、加密协议设计、正式验证等服务。他也是 Verifpal 自动密码协议建模、分析、验证框架的作者。自 2018 年以来，Symbolical Software 已完成并交付了 200 多项软件和加密审核。