SECURING EXECUTION OF A PROGRAM
First Claim
1. A method of executing a program by an electronic device, the method comprising:
- executing an operation of the program that is configured to load an arbitrarily chosen value of an initial data item belonging to a series of ordered data,executing a series of calculation operations distributed in the program, including calculation operations that are each configured to calculate a current data item of the series of ordered data based on a preceding data item of the data series,performing a final calculation operation of the series of calculation operations to calculate a final data item of the data series, andexecuting an error detection operation of the program configured to detect a program execution error by comparing the current data item of the series of ordered data with an expected value of the current data item or the final data item, the final data item having an expected value independent of a number of data items in the series of ordered data and being calculated by the final operation based on the current data item of the series of ordered data and a final compensation data item.
6 Assignments
0 Petitions
Accused Products
Abstract
In a general aspect, a method can include: executing an operation of a program that loads an arbitrarily chosen value of an initial data item of a series of ordered data; executing a series of calculation operations distributed in the program, that calculate a current data item based on a preceding data item; performing a final calculation operation of the series of operations that calculates a final data item of the data series; and executing an operation of the program that detects a program execution error by comparing the current data item of the data series with an expected value of the current data item or the final data item, the final data item having an expected value that is independent of the number of data items in the data series and is calculated based on the current data item of the data series and a final compensation data item.
-
Citations
16 Claims
-
1. A method of executing a program by an electronic device, the method comprising:
-
executing an operation of the program that is configured to load an arbitrarily chosen value of an initial data item belonging to a series of ordered data, executing a series of calculation operations distributed in the program, including calculation operations that are each configured to calculate a current data item of the series of ordered data based on a preceding data item of the data series, performing a final calculation operation of the series of calculation operations to calculate a final data item of the data series, and executing an error detection operation of the program configured to detect a program execution error by comparing the current data item of the series of ordered data with an expected value of the current data item or the final data item, the final data item having an expected value independent of a number of data items in the series of ordered data and being calculated by the final operation based on the current data item of the series of ordered data and a final compensation data item. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14)
-
-
15. A non-transitory computer program product having instructions stored thereon, the instructions, when executed by a processor, result in:
-
executing an operation of a program that is configured to load an arbitrarily chosen value of an initial data item belonging to a series of ordered data, executing a series of calculation operations distributed in the program, including calculation operations that are each configured to calculate a current data item of the series of ordered data based on a preceding data item of the data series, performing a final calculation operation of the series of calculation operations to calculate a final data item of the data series, and executing an error detection operation of the program configured to detect a program execution error by comparing the current data item of the series of ordered data with an expected value of the current data item or the final data item, the final data item having an expected value independent of a number of data items in the series of ordered data and being calculated by the final operation based on the current data item of the series of ordered data and a final compensation data item. - View Dependent Claims (16)
-
Specification