Method and systems for detecting and isolating hardware timing channels
A method for detecting a timing channel in a hardware design includes synthesizing the hardware design to gate level. Gate level information flow tracing is applied to the gate level of the hardware design via a simulation to search for tainted flows. If a tainted flow is found, a limited number of traces are selected. An input on the limited number of traces is simulated to determine whether the traces are value preserving with respect to taint inputs, and to determine that a timing flow exists if the traces are value preserving with respect to the taint inputs.
1. A method for detecting a timing channel in a hardware design, the method comprising:
receiving a hardware design;
synthesizing at least one portion of the hardware design with gate level primitives;
adding tracking logic to the gate level primitives to monitor information flow through the gate level primitives;
simulating sets of inputs to the gate level primitives including added taint inputs to identify information flows by generating outputs from the gate level primitives for every clock tick while changing only taint inputs;
isolating timing flows from information flows by conducting input-to-output deterministic traces to isolate functional flows in the information flows.
2. The method of claim 1 , wherein said separating comprises selecting a subset of input deterministic traces for the tracking logic.
3. The method of claim 2 , wherein the subset is selected by changing the value of only the security critical inputs randomly or by a designers choice.
4. The method of claim 1 , wherein said simulating comprises finding a subset of taint inputs that cause a change in the timing of outputs without changing output values.
5. The method of claim 4 , wherein said finding begins with selecting input traces which differ in values of security critical inputs.
6. The method of claim 4 , wherein said finding begins with a random selection of input traces.
7. The method of claim 4 , wherein said finding begins with selecting input traces aided by information provided by a hardware designer.
8. The method of claim 1 , wherein said hardware design comprises a design in a hardware description language, said synthesizing the design into a gate level netlist, and the tracking logic is added to every gate level primitive in the netlist.
9. A method for detecting a timing channel in a hardware design, the method comprising:
synthesizing the hardware design to gate level;
applying gate level information flow tracing to the gate level of the hardware design via a simulation to search for tainted flows;
wherein the simulation includes simulating sets of inputs to gate level primitives including added taint inputs to identify tainted flows by generating outputs from the gate level primitives for every clock tick while changing only taint inputs; and
if a tainted flow is found, selecting a limited number of traces, simulating an input on the limited number of traces, determining whether the traces are value preserving with respect to taint inputs, and determining that a timing flow exists if the traces are value preserving with respect to the taint inputs.