The invention relates to a method of executing a program, the method comprising steps consisting in: executing an operation (SSG) configured to load an arbitrarily chosen value of an initial datum (sq1 ) belonging to a series of ordered data, executing a series of computation operations (SG, SGC, ESG), distributed in the program, comprising operations each configured to compute a current datum (sq1 ) of the series of data (sq1) as a function of a previous datum (sq1 ), executing a final operation configured to compute a final datum (sq1 ) of the series of data as a function of the current datum, and executing an operation (SQCK, SQFC) configured to detect an error of execution of the program by comparing the current datum of the series of data with an expected value, the final datum exhibiting an expected value independent of the number (n) of data in the series of data.