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