Cryptology ePrint Archive: Report 2013/679

Available versions in chronological order


Formal verification of a software countermeasure against instruction skip attacks
Karine Heydemann and Nicolas Moro and Emmanuelle Encrenaz and Bruno Robisson

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 ]