Determining security key the hardware for digital devices
The features and reliability of logical coding of combinational circuits are considered. An algorithm for breaking the code of combinational circuits is proposed, based on the description of the encoded structure by the resolution function and the reduction of the problem to CNF satisfiability. The initial data for decoding the structure of a digital device are the structural implementation of the encoded circuit, obtained, for example, by the reverse engineering method (prototype design), as well as an activated physical sample of the integrated circuit, the correct key value is loaded into the memory protected from unauthorized access. This sample can be used as a black box model. The main idea ofkey breaking is to solve the problem without resorting to research on a large range of values of input and output variables. Contribution of the authors: the authors contributed equally to this article. The authors declare no conflicts of interests.