rollback_car_attack_proverif

ロールバック攻撃の形式検証 1で発表された、カーキーフォブに対するロールバック攻撃（CVE-2022-37418、CVE-2022-36945、CVE-2022-37305）のProVerifによる概念実証 免責事項 私は1の著者とは一切関係ありません。彼らが論文をオープンアクセスにしてくれたことに感謝します。 ProVerifのインストール 公式の方法 ProVerifの形式検証PoCを実行するには、まず公式ページの指示に従ってProVerifをインストールしてください。 ビルド済みバイナリ...