rollback_car_attack_proverif

Verificación formal del ataque Rollback Prueba de concepto en ProVerif del ataque Rollback en el llavero de coche CVE-2022-37418, CVE-2022-36945 y CVE-2022-37305, presentado en1 Aviso legal No tengo ninguna relación con los autores de 1. Les agradezco que hayan hecho su artículo de acceso abierto...