Abstract: A computing system and method for attestation of secured code, data and execution flows are provided. The computing system includes a processing circuitry; a memory communicatively connected to the processing circuity, the memory containing therein a protected code; and a protector circuitry connected to the processing circuitry; such that upon execution of the protected code by the processing circuitry the computing system is configured to: initialize the protector engine; perform at least one static protection check using the protector circuitry; perform at least one dynamic protection checks using the protector circuitry; and generate a notification upon detection of an error in any one the at least one static check and the at least one dynamic check.

Abstract: A method and system for execution of a compiler add-on for securing code are provided. The method includes receiving from a compiler a code in machine language; generating at least one validator code for protection of the received code; generating at least one execution proof for protection of at least one execution flow of the received code; embedding the at least validator code and at least one execution proof into the received code to create a protected code; and storing the protected code in a storage.

Abstract: A sanitization circuit for sanitizing and authenticating a semiconductor device and method thereof are provided. The sanitization circuit is integrated in the semiconductor device and includes a memory verification module configured to verify any pre-programmed memory integrated in the semiconductor device; a memory eraser module configured to erase data stored in at least volatile memory accessed by the semiconductor device; and an implanted circuitry detection module configured to detect any unintended circuitry added to the semiconductor device.