Enhanced circuity security through hidden state transitions
A state machine system on a chip presents hidden state transitions to create IC knowledge not available in a logical netlist and temporal key dependencies to increase the difficulty of executing the SAT attack. The change in the state space of a circuit over time may be used to increase circuit security. Hidden transitions that are frequency dependent, state dependent keys, and temporally dependent transition keys may be used as ways to increase security against SAT based attacks.
1. An integrated circuit, comprising:
a finite state machine having functional and obfuscated modes corresponding to the integrated circuit being operable and inoperable; and
a circuit to add hidden state transitions to the finite state machine, wherein the hidden state transitions are based on frequency and coupling capacitance of the integrated circuit,
wherein the finite state machine operates in the obfuscated mode in absence of proper input, and
wherein in response to the proper input, the finite state machine operates in the functional mode using the hidden state transitions not accessible in the absence of the proper input.
2. The integrated circuit of claim 1 , wherein the proper input is a predetermined frequency and a logical sequence.
3. The integrated circuit of claim 1 , wherein the proper input is a predetermined coupling capacitance and a logical sequence.
4. The integrated circuit of claim 1 , wherein the finite state machine comprises multiple states, and transitions between at least two of the multiple states requires the proper input.
5. The integrated circuit of claim 4 , wherein in the obfuscated mode, the finite state machine engages state traps that prevent the transitions between the at least two of the multiple states.
6. The integrated circuit of claim 4 , wherein the proper input includes a predetermined frequency maintained for a predetermined number of cycles.
7. The integrated circuit of claim 4 , wherein the proper input includes a predetermined coupling capacitance.
8. The integrated circuit of claim 4 , wherein the multiple states are re-encoded with a randomly assigned new state bit.
9. The integrated circuit of claim 8 , wherein the re-encoding is done to ensure that there is no imbalance in a switching probability of a newly added register in comparison to original state machine registers.
10. The integrated circuit of claim 1 , wherein the mode is determined in response to a logical signal.
11. A method for securing an integrated circuit, comprising:
providing a finite state machine having functional and obfuscated modes corresponding to the integrated circuit being operable and inoperable; and
adding hidden state transitions to the finite state machine, wherein the hidden state transitions are based on frequency and coupling capacitance of the integrated circuit,
wherein the finite state machine operates in the obfuscated mode in absence of proper input, and
wherein in response to the proper input, the finite state machine operates in the functional mode using the hidden state transitions not accessible in the absence of the proper input.
12. The method of claim 11 , wherein the proper input is a predetermined frequency and a logical sequence.
13. The method of claim 11 , wherein the proper input includes a predetermined coupling capacitance.
14. The method of claim 11 , wherein the finite state machine comprises multiple states, and transitions between at least two of the multiple states requires the proper input.
15. The method of claim 14 , wherein in the obfuscated mode, the finite state machine engages state traps that prevent the transitions between the at least two of the multiple states.