The present invention, in some embodiments thereof, relates to a countermeasure against side-channel attacks and, more particularly, but not exclusively, to a logic circuit implementing a countermeasure to side-channel attacks.
Differential power analysis (DPA) attacks exploit the correlation between internal device operations and power consumption. Counteracting DPA attacks has become an essential part of any cryptographic device which may be subjected to adversarial attacks.
Many schemes at different levels of abstraction have been proposed to counteract DPA attacks by reducing the data dependency of the power consumption signature. These countermeasures include hiding, masking, introducing noise and randomizing consumed current profile.
Shamir et. al. [1] proposed to counteract at the power delivery network (PDN) level by using supply decoupling capacitance to attenuate side channel traces.
Other power-delivery based countermeasures include injection of current noise [2] and switched-capacitor based current equalization [3]. Another class of solutions is based on the incorporation of current equalizer circuits at a high abstraction level (e.g. system level). Current equalization can be achieved through several approaches such as:
Relative to lower abstraction level countermeasures, the PDN countermeasures require smaller area and power overheads, and also entail a lower design effort. The drawback of most PDN countermeasures is that they are relatively easy to tamper with and neutralize unless they are distributed and local for any block.
Additional background art includes:
[1] Shamir, “Protecting smart cards from passive power analysis with detached power supplies,” in Cryptographic Hardware and Embedded Systems CHES 2000: Second International Workshop Worcester, Mass., USA, August 1718, 2000 Proceedings, K. Ko and C. Paar, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000, pp. 71-77, ISBN: 978-3-540-44499-2.
[2] Wang, Xinmu, et al. “Role of power grid in side channel attack and power-grid-aware secure design.” Proceedings of the 50th Annual Design Automation Conference. ACM, 2013.
[3] Tokunaga and D. Blaauw, “Securing encryption systems with a switched capacitor current equalizer,” IEEE Journal of Solid-State Circuits, vol. 45, no. 1, pp. 23-31, 2010.
[4] T. Gneysu and A. Moradi, “Generic side-channel countermeasures for reconfigurable devices,” in Cryptographic Hardware and Embedded Systems CHES 2011: 13th International Workshop, Nara, Japan, September 28 Oct. 1, 2011. Proceedings, B. Preneel and T. Takagi, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 33-48, ISBN: 978-3-642-23951-9.
[5] W. Xinmu, Y.Wen, D. B. Roy, S. Narasimhan, Z. Yu, S. Mukhopadhyay, D. Mukhopadhyay, and S. Bhunia, “Role of power grid in side channel attack and power-gridaware secure design,” in 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC), pp. 1-9, ISBN: 0738-100X.
[6] G. B. Ratanpal, R. D. Williams, and T. N. Blalock, “An on-chip signal suppression countermeasure to power analysis attacks,” IEEE Transactions on Dependable and Secure Computing, vol. 1, no. 3, pp. 179-189, 2004.
[7] D. Das, S. Maity, S. B. Nasir, S. Ghosh, A. Raychowdhury, and S. Sen, “High efficiency power side-channel attack immunity using noise injection in attenuated signature domain,” arXiv preprint arXiv:1703.10328, 2017.
According to a first aspect of some embodiments of the present invention there is provided a logic circuit which includes a data signal input, a computational module, a direct timing modulator and an amplitude and non-direct timing modulator. The data signal input inputs data signals. The computational module includes multiple logic elements interconnected to perform a logic function. The direct timing modulator modulates a propagation time of the input data signals from the data signal input to the computational unit, in accordance with a first set of control signals. The amplitude and non-direct timing modulator modulates the processing time of data signals by the computational module and the amplitude of data signals propagating through the computational module, in accordance with a second set of control signals. According to some embodiments of the invention, the first and second sets of control signals are disjoint.
According to some embodiments of the invention, the first and second sets of control signals are non-disjoint.
According to some embodiments of the invention, at least one of the control signals is a data-dependent signal derived from at least one data signal in the logic circuit. According to further embodiments of the invention, a data-dependent signal is one of:
i) an input data signal;
ii) a function of at least one input data signal;
iii) a signal at an internal node of the computational module; and
iv) a function of at least one signal at an internal node of the computational module.
According to some embodiments of the invention, at least one of the control signals is a random signal.
According to some embodiments of the invention, the logic circuit further includes an internal random generator adapted to generate the random signal.
According to some embodiments of the invention, the random signal is input from an external random signal generator.
According to some embodiments of the invention, the logic elements include at least one of:
i) a CMOS logic element;
ii) a CMOS-based logic element;
iii) a wave dynamic differential logic (WDDL) logic element;
iv) a pass transistor logic (PTL) logic element;
v) biological computation logic element; and
vi) logic for quantum computation systems.
According to a second aspect of some embodiments of the present invention there is provided a logic circuit which includes a voltage regulator, a control signal generator, a delay module and computational module, which operate together so as to modulate at least one of: a propagation delay of the input data signals to the computational module, a duration of the logic operation and an amplitude of the data signals propagating through the computational module. The voltage regulator generates a plurality of regulated supply voltages from at least one input supply voltage by controlling respective levels of the regulated supply voltages in accordance with varying control signals. The control signal generator generates the control signals from at least one of: a data-dependent signal derived from at least one data signal in the logic circuit and a random signal. The delay module is powered by a first regulated supply voltage. The delay module delays input data signals, wherein the magnitude of the delay is dependent on the first regulated supply voltage. The computational module is powered by a second regulated supply voltage, and includes logic elements interconnected to perform a logic function on the delayed data signals.
According to some embodiments of the invention, the at least one input supply voltage includes: an upper supply voltage, a lower supply voltage, and ground.
According to some embodiments of the invention, the voltage regulator generates the first and second regulated supply voltages independently.
According to some embodiments of the invention, the voltage regulator generates the first and second regulated supply voltages independently using different control signals.
According to some embodiments of the invention, the data-dependent signal is one of:
i) an input data signal;
ii) a function of at least one input data signal;
iii) a signal at an internal node of the computational module; and
iv) a function of at least one signal at an internal node of the computational module.
According to some embodiments of the invention, the random signal is one of: random data and a function of random data.
According to some embodiments of the invention, the logic circuit further includes an internal random generator adapted to generate the random signal.
According to some embodiments of the invention, the random signal is input from an external random signal generator.
According to some embodiments of the invention, the control signal generator enables and disables the voltage regulator in accordance with an external enable input signal, wherein when the voltage regulator is disabled the delay module and the computational module are powered by the input supply voltage.
Unless otherwise defined, all technical and/or scientific terms used herein have the same meaning as commonly understood by one of ordinary skill in the art to which the invention pertains. Although methods and materials similar or equivalent to those described herein can be used in the practice or testing of embodiments of the invention, exemplary methods and/or materials are described below. In case of conflict, the patent specification, including definitions, will control. In addition, the materials, methods, and examples are illustrative only and are not intended to be necessarily limiting.
Implementation of the method and/or system of embodiments of the invention can involve performing or completing selected tasks manually, automatically, or a combination thereof. Moreover, according to actual instrumentation and equipment of embodiments of the method and/or system of the invention, several selected tasks could be implemented by hardware, by software or by firmware or by a combination thereof using an operating system.
For example, hardware for performing selected tasks according to embodiments of the invention could be implemented as a chip or a circuit. As software, selected tasks according to embodiments of the invention could be implemented as a plurality of software instructions being executed by a computer using any suitable operating system. In an exemplary embodiment of the invention, one or more tasks according to exemplary embodiments of method and/or system as described herein are performed by a data processor, such as a computing platform for executing a plurality of instructions. Optionally, the data processor includes a volatile memory for storing instructions and/or data and/or a non-volatile storage, for example, a magnetic hard-disk and/or removable media, for storing instructions and/or data. Optionally, a network connection is provided as well. A display and/or a user input device such as a keyboard or mouse are optionally provided as well.
The patent or application file contains at least one drawing executed in color. Copies of this patent or patent application publication with color drawings will be provided by the Office upon request and payment of the necessary fee.
Some embodiments of the invention are herein described, by way of example only, with reference to the accompanying drawings. With specific reference now to the drawings in detail, it is stressed that the particulars shown are by way of example and for purposes of illustrative discussion of embodiments of the invention. In this regard, the description taken with the drawings makes apparent to those skilled in the art how embodiments of the invention may be practiced.
In the drawings:
The present invention, in some embodiments thereof, relates to a countermeasure against side-channel attacks and, more particularly, but not exclusively, to a logic circuit implementing a countermeasure to side-channel attacks.
Embodiments of the invention presented herein provide an innovative logic circuit with an attenuated information signature. Control signals, z, are used to directly and non-directly affect the timing and amplitude of the data propagation through the logic circuit. This approach counteracts the temporal and amplitude characteristics of the side channel signal generated by a computational module. The embodiments may be applied to any function that might generate information leakage.
The control signals may include analog and/or binary signals.
As used herein the term “information leakage” means any side channel which is correlated with processed secret information.
Technologies suitable for implementing logic circuits as described herein include but are not limited to:
i) CMOS;
ii) Non-standard CMOS-based logic families (e.g. wave dynamic differential logic (WDDL), pass transistor logic (PTL));
iii) Biological computing; and
iv) Circuits for quantum computation systems.
Before explaining at least one embodiment of the invention in detail, it is to be understood that the invention is not necessarily limited in its application to the details of construction and the arrangement of the components and/or methods set forth in the following description and/or illustrated in the drawings and/or the Examples. The invention is capable of other embodiments or of being practiced or carried out in various ways.
The flowchart and block diagrams in the Figures illustrate the architecture, functionality, and operation of possible implementations of systems, methods, and computer program products according to various embodiments of the present invention. In this regard, each block in the flowchart or block diagrams may represent a module, segment, or portion of instructions, which comprises one or more executable instructions for implementing the specified logical function(s). In some alternative implementations, the functions noted in the block may occur out of the order noted in the figures. For example, two blocks shown in succession may, in fact, be executed substantially concurrently, or the blocks may sometimes be executed in the reverse order, depending upon the functionality involved. It will also be noted that each block of the block diagrams and/or flowchart illustration, and combinations of blocks in the block diagrams and/or flowchart illustration, can be implemented by special purpose hardware-based systems that perform the specified functions or acts or carry out combinations of special purpose hardware and computer instructions.
Reference is now made to
Direct timing modulator 120 and amplitude and non-direct timing modulator 130 together manipulate at least three characteristics of the side channel power trace (as illustrated in
i) t0—the delay of the power signature,
ii) A—the amplitude of the information signature; and
iii) w—the duration of the operation performed by the computation module.
The manipulation is achieved by connecting direct timing modulator 120, amplitude and non-direct timing modulator 130 and computational module 110 in such a way that each computation that is made through the basic elements of this module is delayed (t0), and it is non-uniformly stretched or squeezed in time in a non-linear manner. The later manipulation changes the duration (w) and therefore results in a varying amplitude (A). Thus changes in the values of control signals, z, influence the levels of t0, A and w.
As used herein the term “direct modulation” means modulations that are made directly on the propagation path of the input data signal before it enters the computational module. For example, the direct modulation may be controlling the bias on a voltage controlled delay line and/or modifying the length of a delay line by adding or subtracting delay elements dynamically.
As used herein the term “non-direct modulations” means modulations that are made on the data while it is processed inside the computational module. Parameters that influence the processing timing by the basic logic constituents of the computational module affect the side channel information profile without any effect on the logic output of the module. An example of such a parameter is the Vdd, or body bias provided to the computational module, which modifies the propagation time and power consumption of the computational module.
The control signals, z, vary over time and are re-computed for new incoming data. Consequently the side channel power trace may be represented as A(z)·S(αt+t0), where A represents the manipulation of the amplitude, to represents the manipulation of the delay and a represents the non-linear/non-uniform manipulation of the time axis. Thus the side channel power trace, from which the side channel information is extracted, varies over time in a way that is unknown to the attacker. This variation makes it difficult for the attacker to extract useful information from the side channel power trace.
Optionally, at least one of the control signals is a data-dependent signal derived from at least one data signal in the logic circuit. Further optionally the data-dependent signal is one of:
i) An input data signal;
ii) A function of at least one input data signal;
iii) A signal at an internal node of the computational module; and
iv) A function of at least one signal at an internal node of the computational module.
Optionally, at least one of the control signals is a random signal. Further optionally the logic circuit includes an internal random generator which generates the random signal. Additionally or alternately, the random signal is input from an external random signal generator.
Reference is now made to
In
As used herein the term “modulate” means to change a value of a parameter or characteristic. Optionally:
i) Modulating to means shifting the time the computation process performed by the computation module begins;
ii) Modulating w means stretching or squeezing the duration of the logic operation (typically non-uniformly and/or in a non-linear manner);
iii) Modulating A means changing the amplitude of the data signals.
Voltage regulator 310 generates multiple regulated supply voltages from an input supply voltage, Vdd, by controlling respective levels of the regulated supply voltages in accordance with control signals, z, that vary over time.
Control signal generator 320 generates the control signals, z, from at least one of: a data-dependent signal derived from at least one data signal in the logic circuit and a random signal.
Delay module 330 is powered by one of the regulated supply voltages, denoted VVdd,DM. Delay module 330 delays the arrival of input data signals, Din, at computational module 340. The magnitude of the delay is dependent on VVdd,DM. Computational module 340 includes multiple logic elements interconnected to perform a logic function on the delayed data signals.
Computational module 340 is powered by a second regulated supply voltage, denoted VVdd,CM, which is generated by voltage regulator 310. The computation begins when the delayed Din signals arrive at computational module 340.
The term VVdd is used to indicate that the respective Vdd supply voltages powering delay module 330 and computational module 340 are “virtual” supply voltages, because their amplitude is deliberately manipulated. This is in contrast with a typical input supply voltage Vdd whose amplitude is maintained at a steady level.
Optionally, voltage regulator 310 generates VVdd,DM and VVdd,CM independently. Further optionally, voltage regulator 310 generates VVdd,DM and VVdd,CM using different sets of control signals.
Optionally, control signal generator 320 includes an enable signal input for inputting an external enable signal. Control signal generator 320 enables and disables the operation of voltage regulator 310 based on the level of the external enable signal. When voltage regulator 310 is disabled, delay module 330 and computational module 340 are powered by the input supply voltage Vdd. Disabling the voltage regulator may be used for low power mode circuit operation, since no power is used to generate virtual supply voltages VVdd,DM and VVdd,CM.
Optionally, control signal generator 320 generates the control signals, z, from data-dependent signal(s) derived from at least one data signal in the logic circuit and/or from random signal(s).
Optionally control signal generator 320 obtains the data-dependent signal(s) from computational module 340 and/or Din (see dashed lines in
i) An input data signal;
ii) A function of at least one input data signal;
iii) A signal at an internal node of computational module 340; and
iv) A function of at least one signal at an internal node of the computational module.
Optionally logic circuit 300 includes an internal random generator (not shown) which generates one or more random signals. Additionally or alternately, random signal(s) are input from an external random signal generator.
Optionally random signal(s) and data-dependent signals are combined, and the combined signal(s) thus obtained are used as control signal(s).
Optionally, voltage regulator 360 regulates only some of the supply and/or ground voltage(s) to delay module 330 and/or computational module 340. For example, voltage regulator 360 may regulate the Vdd supplied to delay module 330 and the ground supplied to computational module 340.
An exemplary embodiment of a logic circuit with regulated Vdd and regulated ground (also denoted virtual ground) is illustrated in
Reference is now made to
Reference is now made to
Modulation of the supply voltage(s) and/or ground is performed by LVRs connected to computational module 510 (to modulate the amplitude and duration of the computation) and to delay module 520 (to modulate the propagation delay of the data inputs into the computational module). Each LVR provides a virtual supply voltage VVdd or a virtual GND which serves as the power supply or ground rail connected to the delay module or computational module to which it is connected.
Optionally one or more of the LVRs is a pull-up LVR. Alternately or additionally, one or more of the LVRs is a pull-down LVR.
The term “pull-down” indicates that the control signals manipulate a pull-down (nMOS) network. The term “pull-up” indicates that the control signals manipulate a pull-up (pMOS) network.
Exemplary embodiments of pull-up LVRs are presented in
An analysis of information leakage in response to VVdd and VGND modulations was performed for an exemplary embodiment of the logic circuit under a side channel attack scenario. The analysis indicates that higher security performance is obtained when the delay module is connected to pull-up LVR(s) and the computation module is connected to pull-down LVR(s).
Optionally, the logic circuit is optimized to obtain a maximal or required security performance. The optimization may be performed by one or more of:
a) Selection of the number and types of the LVRs that are connected to the computation module and to the delay module;
b) Circuit layout of the LVR(s);
c) Use of feedback within the LVRs; and
d) Control signal generation.
Pull-up LVRs and/or pull-down LVRs may be connected to the delay elements and to the computational module in various combinations.
a) Pull-up LVR 530.1 regulates supply voltage Vdd to delay module 520;
b) Pull-down LVR 530.2 regulates supply voltage Vdd to delay module 520;
c) Pull-up LVR 540.1 regulates supply voltage Vdd to computational module 510;
d) Pull-down LVR 540.2 regulates supply voltage Vdd to computational module 510;
e) Pull-up LVR 550.1 regulates ground voltage GND to delay module 520;
f) Pull-down LVR 550.2 regulates ground voltage GND to delay module 520;
g) Pull-up LVR 560.1 regulates ground voltage GND to computational module 510;
h) Pull-down LVR 560.2 regulates ground voltage GND to computational module 510;
Alternate embodiments may include other combinations of LVR units and connections. Non-limiting examples of other combinations include:
a) LVRs providing virtual supply voltages to both the delay elements and the computational module (530.1, 530.2, 540.1 and 540.2);
b) LVRs providing a virtual supply voltage to the delay elements and virtual ground to the computational module (530.1, 530.2, 560.1 and 560.2).
Optionally an LVR (pull-up or pull-down) includes a feedback connection to one or more of the transistors composing the unit. This feedback allows for non-linear performance of the modulated supply voltage.
Reference is now made to
In the non-limiting embodiment of
Reference is now made to
LVR 610 and pull-down LVR 620, with the addition of feedback modules (FBM) 730 and 740 respectively. The feedback enables a non-linear response of the LVR with respect to the control signals. In an optional embodiment of
Reference is now made to
Reference is now made to
(MI) of an unsecured circuit (no protection) relative to the MI of secured circuits with n-transistor width of 120n and with n-transistor width of lu. Mutual information is an estimation of the amount of leaking information. As shown in
Reference is now made to
The flowchart and block diagrams in the Figures illustrate the architecture, functionality, and operation of possible implementations of systems, methods, and computer program products according to various embodiments of the present invention. In this regard, each block in the flowchart or block diagrams may represent a module, segment, or portion of instructions, which comprises one or more executable instructions for implementing the specified logical function(s). In some alternative implementations, the functions noted in the block may occur out of the order noted in the figures. For example, two blocks shown in succession may, in fact, be executed substantially concurrently, or the blocks may sometimes be executed in the reverse order, depending upon the functionality involved. It will also be noted that each block of the block diagrams and/or flowchart illustration, and combinations of blocks in the block diagrams and/or flowchart illustration, can be implemented by special purpose hardware-based systems that perform the specified functions or acts or carry out combinations of special purpose hardware and computer instructions.
It is expected that during the life of a patent maturing from this application many relevant logic circuits, logic elements, technologies for implementing logic circuits and logic circuit elements, delay elements, computational modules and random signal generators will be developed and the scope of the term logic circuit, logic element, delay element, computational module and random signal generator is intended to include all such new technologies a priori.
The terms “comprises”, “comprising”, “includes”, “including”, “having” and their conjugates mean “including but not limited to”.
The term “consisting of” means “including and limited to”.
The term “consisting essentially of” means that the composition, method or structure may include additional ingredients, steps and/or parts, but only if the additional ingredients, steps and/or parts do not materially alter the basic and novel characteristics of the claimed composition, method or structure.
As used herein, the singular form “a”, “an” and “the” include plural references unless the context clearly dictates otherwise. For example, the term “a compound” or “at least one compound” may include a plurality of compounds, including mixtures thereof.
Throughout this application, various embodiments of this invention may be presented in a range format. It should be understood that the description in range format is merely for convenience and brevity and should not be construed as an inflexible limitation on the scope of the invention. Accordingly, the description of a range should be considered to have specifically disclosed all the possible subranges as well as individual numerical values within that range. For example, description of a range such as from 1 to 6 should be considered to have specifically disclosed subranges such as from 1 to 3, from 1 to 4, from 1 to 5, from 2 to 4, from 2 to 6, from 3 to 6 etc., as well as individual numbers within that range, for example, 1, 2, 3, 4, 5, and 6. This applies regardless of the breadth of the range.
Whenever a numerical range is indicated herein, it is meant to include any cited numeral (fractional or integral) within the indicated range. The phrases “ranging/ranges between” a first indicate number and a second indicate number and “ranging/ranges from” a first indicate number “to” a second indicate number are used herein interchangeably and are meant to include the first and second indicated numbers and all the fractional and integral numerals therebetween.
It is appreciated that certain features of the invention, which are, for clarity, described in the context of separate embodiments, may also be provided in combination in a single embodiment. Conversely, various features of the invention, which are, for brevity, described in the context of a single embodiment, may also be provided separately or in any suitable subcombination or as suitable in any other described embodiment of the invention. Certain features described in the context of various embodiments are not to be considered essential features of those embodiments, unless the embodiment is inoperative without those elements.
Although the invention has been described in conjunction with specific embodiments thereof, it is evident that many alternatives, modifications and variations will be apparent to those skilled in the art. Accordingly, it is intended to embrace all such alternatives, modifications and variations that fall within the spirit and broad scope of the appended claims.
All publications, patents and patent applications mentioned in this specification are herein incorporated in their entirety by reference into the specification, to the same extent as if each individual publication, patent or patent application was specifically and individually indicated to be incorporated herein by reference. In addition, citation or identification of any reference in this application shall not be construed as an admission that such reference is available as prior art to the present invention. To the extent that section headings are used, they should not be construed as necessarily limiting. In addition, any priority document(s) of this application is/are hereby incorporated herein by reference in its/their entirety.
This application is a Continuation of PCT Patent Application No. PCT/IL2019/050230 having International filing date of Feb. 28, 2019, which claims the benefit of priority under 35 USC § 119(e) of U.S. Provisional Patent Application No. 62/636,238 filed on Feb. 28, 2018. The contents of the above applications are all incorporated by reference as if fully set forth herein in their entirety.
Filing Document | Filing Date | Country | Kind |
---|---|---|---|
PCT/IL2019/050230 | 2/28/2019 | WO | 00 |
Number | Date | Country | |
---|---|---|---|
62636238 | Feb 2018 | US |