On SAT-Based Attacks On Encrypted Sequential Logic Circuits

Kasarabada, Yasaswy; Chen, Suyuan; Vemuri, Ranga

doi:10.1109/isqed.2019.8697421

Cited by 23 publications

(8 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…14. Chain Based Encryption -Due to the limited ability of finding large flip-flop chains with low number of sneak paths, it has been shown [7] that the Chain Based technique is susceptible to the Sequential SAT attack and offers very little additional protection over a random insertion technique. 15.…”

Section: Key Interdependency -This Technique Ensures Large Overlap Be...mentioning

confidence: 99%

“…Without a scan-accessible oracle circuit, the traditional SAT attack cannot be applied directly to sequential circuits. Therefore, new unrolling-based SAT attack methods [4,7,18] to decrypt sequential circuits have been proposed. These techniques have been successful in defeating popular sequential logic encryption techniques [3,5,7].…”

Section: Introductionmentioning

confidence: 99%

“…Therefore, new unrolling-based SAT attack methods [4,7,18] to decrypt sequential circuits have been proposed. These techniques have been successful in defeating popular sequential logic encryption techniques [3,5,7].…”

Section: Introductionmentioning

confidence: 99%

“…6. To attack encrypted sequential circuits, an unrolling based Sequential SAT attack [7] has been proposed. In this technique, the attacker unrolls the encrypted design S e and the unencrypted design S o for an iteratively increasing number of clock cycles (unr) to obtain equivalent combinational circuits C unr e and C unr o .…”

mentioning

confidence: 99%

See 3 more Smart Citations

Trust in IoT Devices: A Logic Encryption Perspective

Kasarabada

Luria

Vemuri

2020

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

Tremendous technological advancement has led to the development of an ecosystem of highly connected ubiquitous computing devices called the Internet of Things (IoT). Considering the sensitive nature of the data collected by the IoT devices, it is essential to ensure the security of these devices. Logic encryption is a popular design-fortrust technique used for protection against hardware IP piracy, design counterfeiting, and hardware Trojan insertion. The introduction of various attack methods that leverage vulnerabilities in known logic encryption techniques has prompted the development of new techniques able to thwart the proposed attacks. Major research effort in the field of logic encryption focuses on increasing resilience to known and potential attacks while often ignoring considerations of cost overhead, especially die area and power consumed. Since area and power optimization are key aspects in the design and development of most IoT devices, it is important to evaluate the cost incurred by logic encryption schemes, especially in the context of these two metrics. In this paper, we survey some of the most popular logic encryption and decryption techniques proposed in the past decade. An analysis of the area and power overhead of these logic encryption techniques using several standard benchmark circuits is presented to assess their suitability for resource constrained systems.

show abstract

Section: Key Interdependency -This Technique Ensures Large Overlap Be...mentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

mentioning

confidence: 99%

See 2 more Smart Citations

Trust in IoT Devices: A Logic Encryption Perspective

Kasarabada

Luria

Vemuri

2020

IFIP Advances in Information and Communication Technology

Self Cite

View full text Add to dashboard Cite

show abstract

“…Once the counter reaches a threshold, the circuit enters the encryption mode. This scheme is more resilient to sequential SAT-based attacks [26] because it requires unrolling the circuit FSM a large number of times to find the key. However, the initial transparency window may still expose critical portions of the circuit functionality.…”

Section: Background and Related Workmentioning

confidence: 99%

SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme

Hu,

Yang,

Nazarian

et al. 2020

Preprint

View full text Add to dashboard Cite

We propose SANSCrypt, a novel sequential logic encryption scheme to protect integrated circuits against reverse engineering. Previous sequential encryption methods focus on modifying the circuit state machine such that the correct functionality can be accessed by applying the correct key sequence only once. Considering the risk associated with one-time authentication, SANSCrypt adopts a new temporal dimension to logic encryption, by requiring the user to sporadically perform multiple authentications according to a protocol based on pseudorandom number generation. Analysis and validation results on a set of benchmark circuits show that SANSCrypt offers a substantial output corruptibility if the key sequences are applied incorrectly. Moreover, it exhibits an exponential resilience to existing attacks, including SAT-based attacks, while maintaining a reasonably low overhead.

show abstract

SANSCrypt: Sporadic-Authentication-Based Sequential Logic Encryption

Yang

Nazarian

et al. 2021

VLSI-SoC: Design Trends

View full text Add to dashboard Cite

On SAT-Based Attacks On Encrypted Sequential Logic Circuits

Cited by 23 publications

References 21 publications

Trust in IoT Devices: A Logic Encryption Perspective

Trust in IoT Devices: A Logic Encryption Perspective

SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme

SANSCrypt: Sporadic-Authentication-Based Sequential Logic Encryption

Contact Info

Product

Resources

About