Method for protecting data

A computer program product loadable into a computer memory and including code portions which, when executed by a computer, cause the computer to:

• generate a data structure defining a Boolean circuit including a memory storing original data, circuit inputs, circuit outputs, logic gates, and wires interconnecting the circuit inputs, the logic gates and the circuit outputs, the memory including, for each bit of the original data, a memory cell including a logic gate performing a logic operation depending on a value of the bit, the Boolean circuit being configured to receive input data for selecting and reading a memory cell in the memory, and to provide a binary data defining a value of a bit read in the selected memory cell and address data defining a position of the bit in the original data,
• the generating the data structure including:
• generating a valid data representing each binary state of each of the wires of the Boolean circuit, and
• computing, for each logic gate of the Boolean circuit, truth table values as a function of the valid data of the wires connected to the inputs of the logic gate, the valid data of the wire connected to the output of the logic gate and the logic operation performed by the logic gate.