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