Synthesis of asymptotically size-optimal Boolean circuits protected from functionality inference

Математические вопросы криптографии. 2017. Vol. 8. No. 2. P. 87–96.

Lozhkin S. A., Shupletsov M. S., Danilov B.R.

Предлагаются методы синтеза асимптотически оптимальных по сложности схем из функциональных элементов, которые реализуют произвольные функции алгебры логики от заданного числа переменных и обладают заданным уровнем защищенности от раскрытия их функциональности при сокрытии определенного числа локальных соединений. Эти методы опираются на особенности структуры схем из функциональных элементов в произвольном базисе, построенных с использованием методов обобщенного разложения и универсальных систем функций алгебры логики.

Ключевые слова: Boolean circuits, булевы схемы, обфускация, obfuscation