Cryptology ePrint Archive: Report 2013/679
Available versions in chronological order
20131024:092618 (posted 24-Oct-2013 09:26:18 UTC)
Formal verification of a software countermeasure against instruction skip attacks
Karine Heydemann and Nicolas Moro and Emmanuelle Encrenaz and Bruno Robisson
20140224:143404 (posted 24-Feb-2014 14:34:04 UTC)
Formal verification of a software countermeasure against instruction skip attacks
Nicolas Moro and Karine Heydemann and Emmanuelle Encrenaz and Bruno Robisson
Original publication (with minor differences): Journal of Cryptographic Engineering
[
Cryptology ePrint archive
]