PROOFS 2012 - Security Proofs for Embedded Systems

The security of rmware (software or hardware) is challenged by a wealth of recent implementation-level exploits, that bypass security mechanisms.
(i) Side-channel attacks:
{ secret extraction,
{ high-value design recovery.
(ii) Perturbation attacks:
{ protocol alteration,
{ control fow modication,
{ type confusion,
{ critical instruction skipping,
{ TRNG forcing,
{ side-channel attacks enhanced by fault injection techniques,
{ attacks targeting the cryptographic modules (DFA, DBA, FSA, FIRE, safe-error attacks).
(iii) Invasive attacks:
{ malicious alteration of the control flow (e.g. Trojan insertion),
{ malicious alteration of the datapath (e.g. the bug attack on RSA),
{ design edition by means of FIB.