Secure multi-rail control for sparsely encoded signals
Techniques, apparatuses, and systems for secure multi-rail control for sparsely encoded signals are disclosed. Integrated circuits (ICs) may transmit various signals to manage interactions between circuit components of the IC. These critical signals are common targets for malicious attacks because, when altered, they can cause the IC to perform differently than is intended, and in some cases, bypass security measures. While various strategies may be used to protect against these attacks, modern circuit synthesis tools may optimize away these security measures, leaving the IC vulnerable to manipulation. In contrast, the secure multi-rail control for sparsely encoded signals described herein utilizes multiple rails to transmit sparsely encoded critical signals. Each rail may be controlled by a separate finite state machine (FSM) to reduce vulnerabilities that may arise due to circuit synthesis, provide an adjustable solution that may be leveraged differently based on implementation, and provide comportability to different ICs.
1 . An integrated circuit comprising:
a first component comprising a first plurality of finite state machines (FSMs);
a second component; and
a plurality of separate data lines configured to communicate, between the first component and the second component, a sparsely encoded signal having a predetermined minimum Hamming distance, each FSM of the first plurality of FSMs being communicatively coupled to the second component through a respective data line of the plurality of separate data lines, each of the plurality of separate data lines configured to communicate a single bit of the sparsely encoded signal, the plurality of separate data lines comprising at least one positive data line and at least one negated data line that is configured to carry a second signal that is different than a first signal carried by the at least one positive data line.
2 . The integrated circuit of claim 1 , wherein:
the second component comprises a second plurality of FSMs;
wherein each FSM of the first plurality of FSMs is communicatively coupled to a respective FSM of the second plurality of FSMs through the respective data line of the plurality of separate data lines.
3 . The integrated circuit of claim 2 , wherein the sparsely encoded signal is indicative of a handshake between the first component and the second component.
4 . The integrated circuit of claim 1 , wherein:
one or more FSMs of the first plurality of the FSMs is communicatively coupled to the second component through a respective negated data line of the at least one negated data line; and
the respective negated data line or the one or more FSMs of the first plurality of FSMs includes an inversion circuit configured to invert an output of a single bit of the sparsely encoded signal, the single bit to be communicated using the respective negated data line.
5 . The integrated circuit of claim 1 , wherein:
the at least one positive data line comprises logic that causes the first signal to perform a positive circuit operation; and
the at least one negated data line comprises logic that causes the second signal to perform a negated circuit operation.
6 . The integrated circuit of claim 1 , wherein the plurality of separate data lines comprises a number of data lines that is the same as the minimum Hamming distance of the sparsely encoded signal.
7 . The integrated circuit of claim 1 , further comprising a cryptographic intellectual property block that includes the first component, the second component, and the plurality of separate data lines.
8 . The integrated circuit of claim 1 , further comprising:
a check module coupled to the plurality of separate data lines, the check module configured to determine a validity of the sparsely encoded signal communicated using the plurality of separate data lines.
9 . The integrated circuit of claim 8 , wherein the check module is configured to:
store a predefined set of valid states;
compare the predefined set of valid states and the sparsely encoded signal communicated using the plurality of separate data lines; and
determine whether the sparsely encoded signal matches any one valid state of the predefined set of valid states based on the comparison between the predefined set of valid states and the sparsely encoded signal.
10 . The integrated circuit of claim 9 , wherein the check module is configured to report an error in response to the determination that the sparsely encoded signal does not match any one valid state of the predefined set of valid states.
11 . The integrated circuit of claim 10 , wherein the check module is further configured to, in response to the determination that the sparsely encoded signal does not match any one valid state of the predefined set of valid states, place at least one of the first component or the second component into a secure state.
12 . The integrated circuit of claim 11 , wherein the secure state comprises a locked state or a reset state.
13 . The integrated circuit of claim 10 , wherein the check module is further configured to cause an output of a process performed by the first component and the second component to be discarded upon completion of the process or after a predetermined period of time has passed after the completion of the process.
14 . The integrated circuit of claim 9 , wherein the predefined set of valid states includes a high state and a low state.
15 . The integrated circuit of claim 8 , wherein the check module is further configured to combine a plurality of signals received from the plurality of separate data lines into a single signal.
16 . The integrated circuit of claim 1 , wherein:
the second component comprises a multiplexer device; and
the sparsely encoded signal is indicative of a multiplexer selector control signal between the first component and the second component.
17 . The integrated circuit of claim 1 , wherein:
the second component comprises a storage register or a configurations and settings register; and
the sparsely encoded signal is indicative of at least one of:
a register setting configured by the first component; or
a write enabled control signal between the first component and the second component.
18 . The integrated circuit of claim 1 , wherein the sparsely encoded signal includes signaling having a set of encoded values with non-adjacent codewords or a Hamming distance of at least two.
19 . The integrated circuit of claim 1 , wherein the first plurality of FSMs includes a plurality of identical FSMs.
20 . The integrated circuit of claim 1 , wherein each valid state of the sparsely encoded signal comprises at least one first bit having a high value and at least one second bit having a low value.