Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications

Reducing the number of AND gates plays a central role in many cryptography and security applications. We propose a logic synthesis algorithm and tool to minimize the number of AND gates in a logic network composed of AND, XOR, and inverter gates. Our approach is fully automatic and exploits cut enumeration algorithms to explore optimization potentials in local subcircuits. The experimental results show that our approach can reduce the number of AND gates by 34% on average compared to generic size optimization algorithms. Further, we are able to reduce the number of AND gates up to 76% in best-known benchmarks from the cryptography community.


Published in:
Proceedings of the 2019 56th ACM/Edac/IEEE Design Automation Conference (Dac)
Presented at:
DAC19, Las Vegas, June 2-6, 2019
Year:
Jun 06 2019
Publisher:
New York, ASSOC COMPUTING MACHINERY
Laboratories:




 Record created 2019-06-06, last modified 2019-12-05

Fulltext:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)