Automatic detection of fault attack and countermeasures

Security of smart cards is continuously threatened by many software and hardware attacks. Those attacks focus on giving secret information that are stored in the card like PIN code, secret cryptographic keys, or on granting access to some restricted operations. The main line of this paper is to integrate countermeasure against fault attacks into a Java Card 3.x smart card. So the solutions proposed, allow to transform some annotations that are put by the developer, in information which will guide the code interpreter to detect faults that can occur during programs execution. the proposals are generic in sense that they don't focus on a particular algorithm. Fault Attack, java Card, bytecode, opcode, basic block