Visible to the public A Composable Design Space Exploration Framework to Optimize Behavioral Locking

TitleA Composable Design Space Exploration Framework to Optimize Behavioral Locking
Publication TypeConference Paper
Year of Publication2022
AuthorsCollini, Luca, Karri, Ramesh, Pilato, Christian
Conference Name2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)
KeywordsEntropy, Globalization, integrated circuits, intellectual property, Measurement, pubcrawl, resilience, Resiliency, reverse engineering, Scalability, Security Heuristics, Supply chains
AbstractGlobalization of the integrated circuit (IC) supply chain exposes designs to security threats such as reverse engineering and intellectual property (IP) theft. Designers may want to protect specific high-level synthesis (HLS) optimizations or micro-architectural solutions of their designs. Hence, protecting the IP of ICs is essential. Behavioral locking is an approach to thwart these threats by operating at high levels of abstraction instead of reasoning on the circuit structure. Like any security protection, behavioral locking requires additional area. Existing locking techniques have a different impact on security and overhead, but they do not explore the effects of alternatives when making locking decisions. We develop a design-space exploration (DSE) framework to optimize behavioral locking for a given security metric. For instance, we optimize differential entropy under area or key-bit constraints. We define a set of heuristics to score each locking point by analyzing the system dependence graph of the design. The solution yields better results for 92% of the cases when compared to baseline, state-of-the-art (SOTA) techniques. The approach has results comparable to evolutionary DSE while requiring 100x to 400x less computational time.
DOI10.23919/DATE54114.2022.9774602
Citation Keycollini_composable_2022