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

Nadim Kobeissi
Capsule 创始人。
Epicenter
区块链行业播客。
Economics Design
通证经济研究主要研究数字经济的设计与实施。
On The Brink
由 Castle Island Ventures 主持的播客节目。
Dezentrum
专注于去中心化及其对社会影响。
Meher Roy
Chorus One 联合创始人。
End of the Chain
链之尽头。
UNCONFIRMED
前《福布斯》杂志资深编辑 Laura Shin 创办的播客。
Crypto Banter
首个加密社区互动式播客。