Formal Verification of a Software Countermeasure Against Instruction Skip Attacks

Download Now
Provided by: International Association for Cryptologic Research
Topic: Security
Format: PDF
Fault attacks against embedded circuits enabled to de ne many new attack paths against secure circuits. Every attack path relies on a specific fault model which defines the type of faults that the attacker can perform. On embedded processors, a fault model in which an attacker is able to skip an assembly instruction is practical and has been obtained by using several fault injection means. To handle this issue, some countermeasure schemes which rely on temporal redundancy have been proposed.
Download Now

Find By Topic