2020 · 10 citations · 50 references
ComputingComputer EngineeringComputer ScienceComputer SecurityCryptographyHardware SecurityHardware TrojansLogic LockingCombinational Logic LockingHardware Intellectual Property ProtectionKeysResilient Logic LockingSat AttacksSecret Key Generation
The outsourcing of the design and manufacturing of integrated circuits (IC) involves various untrusted entities, which can pose many security threats such as overproduction of ICs, sale of out-of-specification/rejected ICs, and piracy of Intellectual Properties (IPs). As a result, various design-for-trust techniques have been developed. Logic locking has recently gained significant interest from the research community due to its capability to provide defense against the threats from untrusted manufacturing. In logic locking, the original circuit is locked using a secret key to make it into a key-dependent circuit. However, various attacks on the extraction of secret keys associated with locking have undermined the security of logic locking techniques. Even after a decade of research, the security of logic locking is still under risk as none of the countermeasures can simultaneously provide resiliency against different attacks, such as tampering, probing, and oracle or oracle-less attacks. This paper presents an overview of novel attacks on logic locking apart from SAT-based analysis. We will present three different techniques to break a secure lock, and they are hardware Trojan based attacks, optical probing based attacks, and the ATPG oriented attacks.
50
Trojan Detection using IC Fingerprinting
Dakshi Agrawal, Selçuk Baktır, Deniz Karakoyunlu et al. · 2007 · 778 citations
Evaluating the security of logic encryption algorithms
Pramod Subramanyan, Sayak Ray, Sharad Malik · 2015 · 772 citations
Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov · 2008 · 534 citations
Security analysis of logic obfuscation
Jeyavijayan Rajendran, Youngok Pino, Ozgur Sinanoglu et al. · 2012 · 489 citations