1. On the importance of checking cryptographic protocols for faults;Boneh,1997
2. Joint Interpretation Library, “Application of attack potential to smartcards.” Jan-2013.
3. High level model of control flow attacks for smart card functional security;Berthomé,2012
4. Synthesis of fault attacks on cryptographic implementations;Barthe,2014
5. QEMU-Based fault injection for a system-level analysis of software countermeasures against fault attacks;Höller,2015