基本情報
Nadim Kobeissi は、Capsule の創設者兼 CEO、Symbolic Software のディレクター、Verifpal の著者、Cryptography FM のホストを務めています。パリを拠点とする応用暗号コンサルティング オフィスである Symbolic Software のディレクターとして、セキュリティ監査、暗号プロトコル設計、形式検証サービスを提供する小規模チームを管理しています。私の主な焦点は、暗号の監査と、自動化された暗号プロトコルのモデリング、分析、検証フレームワークである Verifpal の開発です。2018 年の設立以来、Symbolic Software は世界中のクライアントに対して 200 件を超えるソフトウェアおよび暗号監査を完了し、提供してきました。2018 年には、Inria Paris で博士論文「現実世界の暗号プロトコルと実装の形式検証」を審査しました。さらに、ニューヨーク大学パリ キャンパスでコンピューター セキュリティ コースを設計および指導し、2018 年と 2019 年には非常勤講師を務めました。
