總市值:$00
API
TC
暗色

搜尋SSI/Mag7/Meme/ETF/幣種/指數/圖表/研報
00:00 / 00:00
查看
    市場
    指數
    資訊
    TokenBar®
    分析
    宏觀
    觀察列表
Nadim Kobeissi
Twitter
Nadim Kobeissi 是 Capsule 創始人,Cryptography FM 播客主持人,曾在紐約大學巴黎校區教授計算機安全課程。n同時,他經營着位於巴黎的應用密碼學諮詢辦公室 Symbolic Software,提供安全審覈、加密協議設計、正式驗證等服務。他也是 Verifpal 自動密碼協議建模、分析、驗證框架的作者。自 2018 年以來,Symbolical Software 已完成並交付了 200 多項軟件和加密審覈。
Nadim Kobeissi 工作經歷
Blogchain / Capsule Social
Powered by
新聞
協定隱私政策白皮書官方驗證Cookie部落格
sha512-gmb+mMXJiXiv+eWvJ2SAkPYdcx2jn05V/UFSemmQN07Xzi5pn0QhnS09TkRj2IZm/UnUmYV4tRTVwvHiHwY2BQ==
sha512-kYWj302xPe4RCV/dCeCy7bQu1jhBWhkeFeDJid4V8+5qSzhayXq80dsq8c+0s7YFQKiUUIWvHNzduvFJAPANWA==