rollback_car_attack_proverif

Формальная верификация атаки Rollback Доказательство концепции на ProVerif атаки Rollback на автомобильный ключ-брелок CVE-2022-37418, CVE-2022-36945 and CVE-2022-37305, представленное в1 Отказ от ответственности Я не связан с авторами 1. Я благодарен им за то, что они сделали свою статью открыто...