Nadim Kobeissi

Founder & CEO 于 Blogchain / Capsule Social

Nadim Kobeissi 是 Capsule 的创始人兼 CEO、Symbolic Software 的董事、Verifpal 的作者以及 Cryptography FM 的主持人。作为位于巴黎的应用密码学咨询公司 Symbolic Software 的董事，我管理着一支小型团队，提供安全审计、密码协议设计及形式化验证服务。我的主要精力集中在密码学审计和 Verifpal 的开发上，Verifpal 是一个自动化的密码协议建模、分析与验证框架。自 年成立以来，Symbolic Software 已为全球客户完成并交付了 次软件及密码学审计。 年，我在 Inria Paris 通过了博士论文《现实世界密码协议及实现的形式化验证》的答辩。此外，我还在纽约大学巴黎校区设计并教授了计算机安全课程，并于 年和 年担任兼职教授。