TY  - RPRT
TI  - Formal verification of a software countermeasure against instruction skip attacks
AU  - Nicolas Moro
AU  - Karine Heydemann
AU  - Emmanuelle Encrenaz
AU  - Bruno Robisson
PY  - 2014
DO  - 10.1007/s13389-014-0077-7
UR  - https://arxiv.org/abs/1402.6461
ID  - 1402.6461
ER  -