Splitting S-boxes in a white-box implementation to resist attacks
09838198 · 2017-12-05
Assignee
Inventors
Cpc classification
G09C1/00
PHYSICS
H04L9/0618
ELECTRICITY
H04L63/1466
ELECTRICITY
H04L9/002
ELECTRICITY
International classification
G09C1/00
PHYSICS
Abstract
A method of performing a keyed cryptographic operation mapping an input message to an output message, wherein the input message comprises m input data and the output message comprises m output data and wherein the cryptographic operation includes at least one round and the cryptographic operation specifies a substitution box for mapping input data into output data, including: transforming each of the m input data into n output data using n split substitution boxes, wherein the n split substitution boxes sum to the specified substitution box; and mixing and combining the m×n output data.
Claims
1. A method of performing a white-box keyed cryptographic operation mapping an input message to an output message, wherein the cryptographic operation implementation is a white-box cryptography implementation, wherein the input message comprises m input data and the output message comprises m output data and wherein the cryptographic operation includes at least one round and the cryptographic operation specifies a substitution box for mapping input data into output data, comprising: transforming each of the m input data into n output data using n split substitution boxes, wherein the n split substitution boxes sum to the specified substitution box and wherein the output data of the n split substitution boxes is secretly encoded and the encoding is different for each of the n split substitution boxes, wherein the secret encoding is integrated into the n split substitution boxes and the secret encoding hides the output value of the n split substitution boxes from an attacker; and mixing and combining the m×n encoded output data.
2. The method of claim 1, further comprising m sets of n split substitution boxes, wherein all of the sets of n split substitution boxes applied to each of the plurality of input data are different from one another and the n split substitution boxes sum to the specified substitution box.
3. The method of claim 1, further comprising m sets of n split substitution boxes, wherein at least two of the sets of n split substitution boxes applied to each of the plurality of input data are different from one another and the n split substitution boxes sum to the specified substitution box.
4. The method of claim 1, wherein mixing and combining the m×n encoded output data includes at least one of the n outputs of each of the m sets of outputs is combined with at least one output of another set n outputs before the at least one of the n outputs is combined with the remaining n−1 outputs of its set of outputs.
5. The method of claim 1, wherein the input data is unencoded data input into a first round of the keyed cryptographic operation.
6. The method of claim 1, wherein the combined output data is used to calculate a portion of the output message, wherein the output message is an unencoded output of the last round of the keyed cryptographic operation.
7. The method of claim 1, wherein the cryptographic operation is the Advanced Encryption Standard.
8. The method of claim 1, wherein the cryptographic operation is the Data Encryption Standard.
9. The method of claim 1, wherein transforming an input data into n output data using n split substitution boxes is implemented using a n lookup tables corresponding to the n split substitution boxes, wherein the n lookup tables combine the n split substitution boxes with a cryptographic key.
10. The method of claim 1, wherein transforming an input data into n output data using n split substitution boxes is implemented using a n finite state machines corresponding to the n split substitution boxes, wherein the n finite state machines combine the n split substitution boxes with a cryptographic key.
11. A non-transitory machine-readable storage medium encoded with instructions for execution by a white-box system, wherein the white-box system performs a keyed cryptographic operation mapping an input message to an output message, wherein the input message comprises m input data and the output message comprises m output data and wherein the cryptographic operation includes at least one round and the cryptographic operation specifies a substitution box for mapping input data into output data, the non-transitory machine-readable storage medium, comprising: instructions for transforming each of the m input data into n output data using n split substitution boxes, wherein the n split substitution boxes sum to the specified substitution box and wherein the output data of the n split substitution boxes is secretly encoded and the encoding is different for each of the n split substitution boxes, wherein the secret encoding is integrated into the n split substitution boxes and the secret encoding hides the output value of the n split substitution boxes from an attacker; and instructions for mixing and combining the m×n encoded output data.
12. The non-transitory machine-readable storage medium of claim 11, further comprising m sets of n split substitution boxes, wherein all of the sets of n split substitution boxes applied to each of the plurality of input data are different from one another and the n split substitution boxes sum to the specified substitution box.
13. The non-transitory machine-readable storage medium of claim 11, further comprising m sets of n split substitution boxes, wherein at least two of the sets of n split substitution boxes applied to each of the plurality of input data are different from one another and the n split substitution boxes sum to the specified substitution box.
14. The non-transitory machine-readable storage medium of claim 11, wherein instructions for mixing and combining the m×n encoded output data includes at least one of the n outputs of each of the m sets of outputs is combined with at least one output of another set n outputs before the at least one of the n outputs is combined with the remaining n−1 outputs of its set of outputs.
15. The non-transitory machine-readable storage medium of claim 11, wherein the input data is unencoded data input into a first round of the keyed cryptographic operation.
16. The non-transitory machine-readable storage medium of claim 11, wherein the combined output data is used to calculate a portion of the output message, wherein the output message is an unencoded output of the last round of the keyed cryptographic operation.
17. The non-transitory machine-readable storage medium of claim 11, wherein the cryptographic operation is the Advanced Encryption Standard.
18. The non-transitory machine-readable storage medium of claim 11, wherein the cryptographic operation is the Data Encryption Standard.
19. The non-transitory machine-readable storage medium of claim 11, wherein instructions for transforming an input data into n output data using n split substitution boxes is implemented using a n lookup tables corresponding to the n split substitution boxes, wherein the n lookup tables combine the n split substitution boxes with a cryptographic key.
20. The non-transitory machine-readable storage medium of claim 11, wherein instructions for transforming an input data into n output data using n split substitution boxes is implemented using a n finite state machines corresponding to the n split substitution boxes, wherein the n finite state machines combine the n split substitution boxes with a cryptographic key.
21. A method of producing a white-box implementation of a cryptographic operation mapping an input message to an output message in a white-box system, wherein the input message comprises m input data and the output message comprises m output data and wherein the cryptographic operation includes at least one round and the cryptographic operation specifies a substitution box for mapping input data into output data, comprising: producing a white-box implementation of the keyed cryptographic operation further comprising: producing n split substitution boxes, wherein the n split substitution boxes sum to the specified substitution box and wherein the output data of the n split substitution boxes is secretly encoded and the encoding is different for each of the n split substitution boxes, wherein the secret encoding is integrated into the n split substitution boxes and the secret encoding hides the output value of the n split substitution boxes from an attacker; and implementing the mixing and the combining of the m×n encoded output data in the white-box system.
22. The method of claim 21, wherein the split substitution boxes further comprises m sets of n split substitution boxes, wherein all of the sets of n split substitution boxes applied to each of the plurality of input data are different from one another and the n split substitution boxes sum to the specified substitution box.
23. The method of claim 21, wherein the split substitution boxes further comprises m sets of n split substitution boxes, wherein at least two of the sets of n split substitution boxes applied to each of the plurality of input data are different from one another and the n split substitution boxes sum to the specified substitution box.
24. The method of claim 21, wherein mixing and combining the m×n encoded output data includes at least one of the n outputs of each of the m sets of outputs is combined with at least one output of another set n outputs before the at least one of the n outputs is combined with the remaining n−1 outputs of its set of outputs.
25. The method of claim 21, wherein the input data is unencoded data input into a first round of the keyed cryptographic operation.
26. The method of claim 21, wherein the combined output data is used to calculate a portion of the output message, wherein the output message is an unencoded output of the last round of the keyed cryptographic operation.
27. The method of claim 21, wherein the cryptographic operation is the Advanced Encryption Standard.
28. The method of claim 21, wherein the cryptographic operation is the Data Encryption Standard.
29. The method of claim 21, wherein the n split substitution boxes are implemented using n lookup tables corresponding to the n split substitution boxes, wherein the n lookup tables combine the n split substitution boxes with a cryptographic key.
30. The method of claim 21, wherein the n split substitution boxes are implemented using n finite state machines corresponding to the n split substitution boxes, wherein the n finite state machines combine the n split substitution boxes with a cryptographic key.
Description
BRIEF DESCRIPTION OF THE DRAWINGS
(1) In order to better understand various exemplary embodiments, reference is made to the accompanying drawings, wherein:
(2)
(3)
(4)
(5)
(6)
(7) To facilitate understanding, identical reference numerals have been used to designate elements having substantially the same or similar structure and/or substantially the same or similar function.
DETAILED DESCRIPTION
(8) The description and drawings illustrate the principles of the invention. It will thus be appreciated that those skilled in the art will be able to devise various arrangements that, although not explicitly described or shown herein, embody the principles of the invention and are included within its scope. Furthermore, all examples recited herein are principally intended expressly to be for pedagogical purposes to aid the reader in understanding the principles of the invention and the concepts contributed by the inventor(s) to furthering the art, and are to be construed as being without limitation to such specifically recited examples and conditions. Additionally, the term, “or,” as used herein, refers to a non-exclusive or (i.e., and/or), unless otherwise indicated (e.g., “or else” or “or in the alternative”). Also, the various embodiments described herein are not necessarily mutually exclusive, as some embodiments can be combined with one or more other embodiments to form new embodiments.
(9) There are several reasons for preferring a software implementation of a cryptographic algorithm to a hardware implementation. This may, for instance, be the case because a software solution is renewable if the keys leak out, because it is has lower cost, or because the application-developer has no influence on the hardware where the white-box system is implemented. While the description of embodiments below are directed to software implementation running on a processor, it is noted that these embodiments may also be partially or completely implemented in hardware as well. The lookup tables and finite state machines that are described may be implemented in hardware to carry out the various functions described.
(10) A table-based approach to a white-box implementation of the Advanced Encryption Standard (AES) and the Data Encryption Standard (DES) were proposed in the following papers: “White-Box Cryptography and an AES Implementation”, by Stanley Chow, Philip Eisen, Harold Johnson, and Paul C. Van Oorschot, in Selected Areas in Cryptography: 9th Annual International Workshop, SAC 2002, St. John's, Newfoundland, Canada, Aug. 15-16, 2002, referred to hereinafter as “Chow 1”; and “A White-Box DES Implementation for DRM Applications”, by Stanley Chow, Phil Eisen, Harold Johnson, and Paul C. van Oorschot, in Digital Rights Management: ACM CCS-9 Workshop, DRM 2002, Washington, D.C., USA, Nov. 18, 2002, referred to hereinafter as “Chow 2”. Chow 1 and Chow 2 disclose methods of using a table-based approach to hide the cryptographic key by a combination of encoding its tables with random bijections, and extending the cryptographic boundary by pushing it out further into the containing application.
(11) Chow describes implementing a cryptographic algorithm as a network of lookup tables. Next, this network of lookup tables is obfuscated by encoding their input and output, i.e., by encoding the intermediate values in the implementation. Chow 1 and Chow 2 observed that in a white-box implementation of AES and DES, the implementation of the first and last round is particularly challenging. The reason is that, in order to be AES and DES compatible, input encoding is not applied in the first round, and output encoding is not applied in the last round, while all other rounds have encoded input as well as encoded outputs. Chow 1 and Chow 2 avoided this problem by using external encodings. This means that the input of the algorithm is encoded by an external encodings f that is put on the input elsewhere in the surrounding computer program. Analogously, the output of the algorithm is encoded by an external encoding g that is removed elsewhere in the surrounding program. Hence, instead of implementing a cryptographic functionality F (such as AES), g∘F∘f.sup.−1 is implemented instead. This approach has two important disadvantages. In the first place, a question is how to hide the input encoding and output decoding in the surrounding program. After all, it typically happens just before and after the invocation of the white-box implementation of the cryptographic function. Secondly, it cannot be applied if the white-box implementation does not have a strong connection to the surrounding program, when, for example, the input is received from a network or medium and/or the output is sent over the network or stored on a medium.
(12) For example, suppose that an AES S-box in a white-box implementation is only encoded by nibble-encodings. For a table-based white-box implementation, this means that it is hidden in a lookup table T=(G.sub.1∥G.sub.2)∘S∘⊕.sub.k ∘(F.sub.1.sup.−1∥F.sub.2.sup.−1), where G.sub.i and F.sub.i are nibble encodings and ⊕.sub.k: xx⊕k denotes key addition. Then, Chow 1 shows that (G.sub.1∥G.sub.2) and ⊕.sub.k∘(F.sub.1.sup.−1∥F.sub.2.sup.−1) can be derived using so-called frequency signatures. Informally, they exploit the information that leaks by the strict separation of the two input nibbles and the two output nibbles. To see that this leaks information, observe that if the first input nibble of T, is altered then it is known that this corresponds to a modification in the first input nibble to the underlying S.
(13) Embodiments of the invention below describe a new white-box technique which may be used to strengthen the first round of a white-box implementation that does not have an external input encoding. This technique may also be applied to the last round to provide some additional security.
(14) The secure software may be implemented using a plurality of basic blocks. The plurality of basic blocks is interconnected, in the sense that some of the blocks build on the outputs of one or more of the previous blocks. A basic block may be implemented in hardware, for example, as a computer chip. A basic block may use a switch board, a state machine or any other suitable construction for implementing functions in computer hardware. A basic block may also be implemented in software running on a general purpose computer chip, e.g. a microprocessor. For example, a basic block may use a plurality of computer instructions, including arithmetical instructions, which together implement the functionality of the basic block. A widely used implementation for the basic block, which may be used both in software and hardware, is a look-up table. For example, Chow 1 and Chow 2 take this approach to implement the AES and DES block ciphers. A look-up table implementation includes a list which lists for possible input values, an output value. The input value may be explicit in the lookup table. In that situation the look-up table implementation could map a particular input to a particular output by searching in the list of input values for the particular input. When the particular input is found the particular output is then also found. For example, the particular output may be stored alongside the particular input. Preferably, the input values are not stored explicitly, but only implicitly. For example, if the possible inputs are a consecutive range, e.g. of numbers or bit-strings, the look-up table may be restricted to storing a list of the output values. A particular input number may, e.g., be mapped to the particular output which is stored at a location indicated by the number.
(15) For example, a look up table for a function may be created by computing the output value of the function for its possible inputs and storing the outputs in a list. If the function depends on multiple inputs the outputs may be computed and stored for all possible combinations of the multiple inputs. Look-up tables are especially suited to implement non-linear functions, which map inputs to output in irregular ways. A white-box implementation can be further obfuscated, as is explained below, by applying to one or more of its look-up tables a fixed obfuscating input encoding and a fixed output encodings. The results of applying a fixed obfuscating input encoding and output encodings is then fully pre-evaluated. Using this technique, a look-up table would be replaced by an obfuscated look-up table which has the same dimensions, that it takes the same number input bits and produces the same number of output bits. The input encoding and output encoding used in such obfuscation are not explicit in the final white-box implementation.
(16) The network of basic blocks are arranged to compute an output message when they are presented with an input message. Typically, the input message is operated upon by a number of basic input blocks. A number of further basic blocks may take input from one or more of the basic input blocks and/or from the input. Yet further basic blocks can take input in any combination of the input message, the output of basic input blocks and the output of the further basic blocks. Finally some set of basic exit blocks, i.e., at least one, produce as output all or part of the output-message. In this manner a network of basic blocks emerges which collectively computes the mapping from the input message to output message.
(17) The key used may be a cryptographic key and may contain sufficient entropy to withstand an anticipated brute force attack. It is noted that in a white-box implementation, the key is typically not explicitly present in the implementation. This would risk the key being found by inspection of the implementation. Typically, the key is only present implicitly. Various ways are known to hide a key in a cryptographic system. Typically, at least the method of partial evaluation is used, wherein a basic block which needs key input is evaluated in-so-far that it does not depend on the input-message. For example, a basic operation wherein an input-value, a masking value, which does not depend on the input-message, e.g. a value from an S-box, and a key-value need to be XORed can be partially evaluated by XORing the key value and the masking value together beforehand. In this way the operation still depends on the key-value although the key-value is not explicitly present in the implementation. Instead, only the XOR between the key-value and masking-value is present in the implementation. Note that, more complicated ways and/or further ways of hiding the keys are compatible with embodiments of this invention.
(18) Below exemplary embodiments are described using the AES (Advanced Encryption Standard) block cipher, because AES has become a widely used standard for block ciphers. AES is a block cipher with a block size of 128 bits or 16 bytes. The plaintext is divided in blocks of 16 bytes which form the initial state of the encryption algorithm, and the final state of the encryption algorithm is the cipher text. At any given point in the encryption algorithm these 16 bytes are the state of the encryption algorithm. To conceptually explain AES, the bytes of the state are organized as a matrix of 4×4 bytes. AES includes a number of rounds, which depend on the key size. Each round includes similar processing steps operating on bytes, rows, or columns of the state matrix, each round using a different round key in these processing steps.
(19)
(20) AddRoundKey 110—each byte of the state is XORed with a byte of the round key;
(21) SubBytes 120—a byte-to-byte permutation using a lookup table;
(22) ShiftRows 140—each row of the state is rotated a fixed number of bytes; and
(23) MixColumns 150—each column is processed using a modulo multiplication in GF(2.sup.8).
(24) The steps SubBytes 120, ShiftRows 130, and MixColumns 150 are independent of the particular key used. The key is applied in the step AddRoundKey 110. Except for the step ShiftRows 140, the processing steps can be performed on each column of the 4×4 state matrix without knowledge of the other columns. Therefore, they can be regarded as 32-bit operations as each column consists of four 8-bit values. Dashed line 150 indicates that the process is repeated until the required number of rounds has been performed.
(25) Each of these steps or a combination of steps may be represented by a lookup table or by a network of lookup tables. If the AddRoundKey 110 step is implemented by XORing with the round key, then the key is visible to the attacker in the white-box attack context. The AddRoundKey 110 step can also be embedded in lookup tables, which makes it less obvious to find out the key. In fact, it is possible to replace a full round of AES by a network of lookup tables. For example, the SubBytes 120, ShiftRows 130, and MixColumns 150 steps may be implemented using table lookups. Below a possible white-box implementation of AES in sufficient detail is discussed to describe the embodiments of the invention below, but further detailed descriptions of such an implementation are found in Chow 1. Also, other variations in the lookup table implementation may be used which are within the scope of the invention.
(26)
(27) As indicated, the white-box implementation illustrated in
(28) In order to describe embodiments of the invention, a basic description of a table-based white-box AES implementation will be described. For a more detailed description of a method for implementing a table-based white-box AES see Chow 1. Chow 1 illustrates a specific implementation that breaks up certain functions using tables of specified sizes. It is well understood that various other divisions of the tables may be made resulting in different functions for the look-up tables and different sizes. Further, while the embodiments of the invention described below use a table-based white-box implementation of AES, other ciphers and cryptographic functions may be implemented according to the embodiments described. Also, other types of white-box implementations may be used instead of the table-base implementation, for example, a finite-state implementation.
(29) The description of the table-based white-box AES is split into two steps. In the first step, a round of AES is described as a network of lookup tables. In the second step, the tables are obfuscated by encoding their input and output.
(30) Step 1: Implementing AES as a Network of Lookup Tables.
(31) AES operates on data blocks of 16 bytes. These are typically described as a 4×4 byte matrix, called the state including bytes x.sub.1,1, x.sub.1,2, x.sub.1,3, . . . x.sub.4,4. A round of AES as described above with respect to
(32) Now define a lookup table for each byte-to-byte function Q.sub.i,j,l(x.sub.i,j)=MC.sub.l,i.Math.T.sub.i,j (x.sub.i,j) with i, j, l=1, 2, . . . , 16. Then any output byte z.sub.l,j may be computed by XORing the results of these lookup tables, i.e., z.sub.l,j=Q.sub.1,j,l(x.sub.1,j)⊕Q.sub.2,j,l(x.sub.2,j)⊕Q.sub.3,j,l(x.sub.3,j)⊕Q.sub.4,j,l(X.sub.4,j). Note that the index i, j, l of Q-box can be interpreted as “the contribution of input byte i, j of a round to output byte l, j of the round”. The XOR may be implemented to operate on each of two nibbles (i.e., 4-bit values) as a lookup table to reduce the size of the XOR tables. Accordingly, the Q-box may be implemented to produce output nibbles so that the size of the XOR tables that operate on the output of the Q-box are reduced. Therefore, the computation of each output byte z.sub.l,j of an AES-round has been described as a network of lookup tables. The network of lookup tables to compute a single output nibble of byte z.sub.2,3 is shown in
(33)
(34) Step 2: Obfuscating the Tables and the Intermediate Values
(35) In the implementation depicted in
(36) As described above, an S-box may be merged with a key-addition operation and the result obfuscated by encoding its input and output. For a table-based white-box AES implementation, this means that lookup tables T=G∘S∘⊕.sub.k∘F.sup.−1 are created for each round. For the first round F is the identity function when the interface is to be compatible with standard AES. Likewise, in the last round, G is the identity function when the interface is to be compatible with standard AES.
(37) In order to overcome this problem where an attacker may use the frequency signature attack, the S-box may be split into r S-boxes S.sub.1, S.sub.2, . . . , S.sub.r with r≧2 and create r tables that hide the split S-boxes S.sub.1, S.sub.2, . . . , S.sub.r. The (not-necessarily bijective) split S-box functions S.sub.i are chosen arbitrarily such that:
S(x)=⊕.sub.i=.sup.rS.sub.i(x).
These split S-box functions S.sub.1, S.sub.2, . . . , S.sub.r. are then hidden in r lookup tables T.sub.1, T.sub.2, . . . , T.sub.r with
T.sub.i=G.sub.i∘S.sub.i∘⊕.sub.k∘F.sup.−1.
(38) The split S-box functions are particularly useful for round 1, where F.sub.i is the identity function. Further the split S-box function may provide some benefit in the last round where G.sub.i is the identity function. Note that, all tables T.sub.i have the same input byte. The Q.sub.i tables may then be calculated from the T.sub.i tables by incorporating the MixColumn constants MC as described above.
(39)
(40) The tables Q.sub.i,j,l in
Q.sub.i,j,l=.sub.α.sub.
where .sub.x denotes multiplication with x in GF (2.sup.8). In this embodiment the S-box S is split into two arbitrary functions S.sub.1 and S.sub.2 with S(x)=S.sub.1(x)⊕S.sub.2 (X). Such split S-boxes S.sub.1 and S.sub.2 may be found by choosing S.sub.1 at random (there are 256.sup.256 possibilities for this), and defining S.sub.2 (x)=S.sub.1(x)⊕S(x). Merging these functions S.sub.1 and S.sub.2 with the key-addition and the MixColumns, for the tables Q.sub.i,j,l above results in tables
O.sub.i,j,l=.sub.α.sub.
and
P.sub.i,j,l=.sub.α.sub.
This results in
Q.sub.i,j,l(x)=O.sub.i,j,l(x)⊕P.sub.i,j,l(x).
(41)
(42) Further, while the same set of split S-boxes is shown as being applied to each input byte, it is possible to select a different set of split S-boxes for each input byte.
(43) A method according to the embodiments of the invention may be implemented on a computer as a computer implemented method, or in dedicated hardware, or in a combination of both. Executable code for a method according to the invention may be stored on a computer program medium. Examples of computer program media include memory devices, optical storage devices, integrated circuits, servers, online software, etc.
(44) In an embodiment of the invention, the computer program may include computer program code adapted to perform all the steps of a method according to the invention when the computer program is run on a computer. Preferably, the computer program is embodied on a non-transitory computer readable medium.
(45) Further, because white-box cryptography is often very complicated and/or obfuscated it is tedious for a human to write. It is therefore of advantage to have a method to create the cryptographic system according to the embodiments of the invention in an automated manner. For example, the automated method to create the cryptographic system would generate the split S-boxes in a way unknown to an attacker.
(46) A method of creating the cryptographic system according to the invention may be implemented on a computer as a computer implemented method, or in dedicated hardware, or in a combination of both. Executable code for a method according to the invention may be stored on a computer program medium. In such a method, the computer program may include computer program code adapted to perform all the steps of the method when the computer program is run on a computer. The computer program is embodied on a non-transitory computer readable medium.
(47) Any combination of specific software running on a processor to implement the embodiments of the invention, constitute a specific dedicated machine.
(48) A hardware system implementation of the embodiments of the invention may include hardware elements implementing the basic blocks of the white-box implementation. These hardware elements may include, for example, lookup tables or finite state machines. These hardware elements may be interconnected to fully carry out the white-box implementation.
(49) As used herein, the term “non-transitory machine-readable storage medium” will be understood to exclude a transitory propagation signal but to include all forms of volatile and non-volatile memory.
(50) As used herein, the term “processor” will be understood to encompass a variety of devices such as microprocessors, field-programmable gate arrays (FPGAs), application-specific integrated circuits (ASICs), and other similar processing devices. When software is implemented on the processor, the combination becomes a single specific machine.
(51) It should be appreciated by those skilled in the art that any block diagrams herein represent conceptual views of illustrative circuitry embodying the principles of the invention.
(52) Although the various exemplary embodiments have been described in detail with particular reference to certain exemplary aspects thereof, it should be understood that the invention is capable of other embodiments and its details are capable of modifications in various obvious respects. As is readily apparent to those skilled in the art, variations and modifications can be effected while remaining within the spirit and scope of the invention. Accordingly, the foregoing disclosure, description, and figures are for illustrative purposes only and do not in any way limit the invention, which is defined only by the claims.