EP3422232B1 - Method for Protecting an Electronic Device Running a Program Against Fault-Injection Attacks