Abstract:
We propose several asymptotically size-optimal Boolean circuits synthesis methods that implement arbitrary Boolean functions of a given number of Boolean variables with a given protection level from functionality inference when concealing some number of local interconnections. These methods rely on the structure of Boolean circuits over arbitrary finite complete basis. Constructed by methods of generalized decomposition and universal systems of Boolean functions.
Key words:
Boolean circuits, asymptotic methods, obscuration of functionality.
Funding agency
Grant number
Академия криптографии РФ
The study was supported by the Academy of Cryptography of the Russian
Federation.
Received 11.VI.2016
Bibliographic databases:
Document Type:
Article
UDC:519.719.2
Language: English
Citation:
S. A. Lozhkin, M. S. Shupletsov, B. R. Danilov, “Synthesis of asymptotically size-optimal Boolean circuits protected from functionality inference”, Mat. Vopr. Kriptogr., 8:2 (2017), 87–96