The obfuscation method of digital circuits based on the use of logical implications
Vladimir A. Bespalov, A. Glebov, A. N. Kononov · Russian Microelectronics · 2012
A new method for obfuscation of digital circuits is suggested. The method is based on the use of logical implications with the introduction of a certain number of fictive cycles into the combination network, which makes the problem of the automatic restoration of its Boolean function extremely complex. The importance of counting the results of the temporal analysis for the problem under consideration is shown. The notion of damping cycles is introduced; their addition does not vary the functionality of the combination network. The results of numerical experiments confirming the efficiency of the suggested method are presented.