Patent ID: 10685096

Abstract:
A system for hiding a change to a set of variables of a program is provided. A value representing means (902) represents a value wi of a variable vi of the variables v1, v2, . . . , vn, wherein w is an element of a set W, by means of a representation ri wherein ri=E(Wi, σi), and ri is an element of a set of representations Ω(wi)={E(vvi,s)|s∈Σ}, wherein σi is a state variable that is an element of a set Σ and that provides a redundancy to the representation ri of wi and E is a one-to-one cryptographic mapping from W×Σ to a predetermined set. An action representing means (903) represents an action on values of variables in a subset V′ of V by means of an action on V′ and an action on V\V′, to obtain updated representations. The action on V′ changes the representation rj of each variable Vj in the set of variables. ri=(wi,σi)  (I)Ω(wi)={(wi,s)|s∈Σ}  (II)  (III)