The following publications are possibly variants of this publication:
- Formal verification of a software countermeasure against instruction skip attacksNicolas Moro, Karine Heydemann, Emmanuelle Encrenaz, Bruno Robisson. jce, 4(3):145-156, 2014. [doi]
- Compilation of a Countermeasure Against Instruction-Skip Fault AttacksThierno Barry, Damien Couroussé, Bruno Robisson. hipeac 2016: 1-6 [doi]
- Efficient Design and Evaluation of Countermeasures against Fault Attacks Using Formal VerificationLucien Goubet, Karine Heydemann, Emmanuelle Encrenaz, Ronald De Keulenaer. cardis 2016: 177-192 [doi]