Nadim Kobeissi 是 Capsule 創始人，Cryptography FM 播客主持人，曾在紐約大學巴黎校區教授計算機安全課程。n同時，他經營着位於巴黎的應用密碼學諮詢辦公室 Symbolic Software，提供安全審覈、加密協議設計、正式驗證等服務。他也是 Verifpal 自動密碼協議建模、分析、驗證框架的作者。自 2018 年以來，Symbolical Software 已完成並交付了 200 多項軟件和加密審覈。