Formal verification of a software countermeasure against instruction skip attacks

Overview of attention for article published in Journal of Cryptographic Engineering, February 2014

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 4 X posts from 4 X users, with an upper bound of 2,413 followers.

My first journal article is available, about an assembly-level countermeasure against fault attacks on µ-controllers http://t.co/KYG8QtpcLO

Formal verification of a software countermeasure against instruction skip attacks. (arXiv:1402.6461v1 [cs.CR]) http://t.co/KJ5TyNLrBv

Formal verification of a software countermeasure against instruction skip attacks. (arXiv:1402.6461v1 [cs.CR]) http://t.co/3aHMZ7daCG

Formal verification of a software countermeasure against instruction skip attacks. (arXiv:1402.6461v1 [cs.CR]) http://t.co/7tvbZtxUsG