Cryptology ePrint Archive: Report 2017/998

A Comparative Investigation of Approximate Attacks on Logic Encryptions

Yuanqi Shen and Amin Rezaei and Hai Zhou

Abstract: Logic encryption is an important hardware protection technique that adds extra keys to lock a given circuit. With recent discovery of the effective SAT-based attack, new enhancement methods such as SARLock and Anti-SAT have been proposed to thwart the SAT-based and similar exact attacks. Since these new techniques all have very low error rate, approximate attacks such as Double DIP and AppSAT have been proposed to find an almost correct key with low error rate. However, measuring the performance of an approximate attack is extremely challenging, since exact computation of the error rate is very expensive, while estimation based on random sampling has low confidence. In this paper, we develop a suite of scientific encryption benchmarks where a wide range of error rates are possible and the error rate can be found out by simple eyeballing. Then, we conduct a thorough comparative study on different approximate attacks, including AppSAT and Double DIP. The results show that approximate attacks are far away from closing the gap and more investigations are needed in this area.

Category / Keywords: implementation / logic encryption, SAT-based attack, approximate attack

Date: received 9 Oct 2017

Contact author: haizhouus at gmail com

Available format(s): PDF | BibTeX Citation

Version: 20171011:154228 (All versions of this report)

Short URL: ia.cr/2017/998

Discussion forum: Show discussion | Start new discussion


[ Cryptology ePrint archive ]