Title | A Cellular Automata Guided Obfuscation Strategy For Finite-State-Machine Synthesis |
Publication Type | Conference Paper |
Year of Publication | 2019 |
Authors | Karmakar, R., Jana, S. S., Chattopadhyay, S. |
Conference Name | 2019 56th ACM/IEEE Design Automation Conference (DAC) |
Keywords | Additives, Automata, cellular automata, cellular automata guided obfuscation strategy, composability, D1*CA, D1*CAdual, digital system, finite state machines, finite-state-machine synthesis, Flip-flops, industrial property, IP piracy, ip protection, Logic gates, nongroup additive cellular automata, policy-based governance, pubcrawl, Resiliency, reverse engineering, reverse engineering attacks, security, Silicon, state-transition, testable key-controlled FSM synthesis scheme |
Abstract | A popular countermeasure against IP piracy relies on obfuscating the Finite State Machine (FSM), which is assumed to be the heart of a digital system. In this paper, we propose to use a special class of non-group additive cellular automata (CA) called D1 * CA, and it's counterpart D1 * CAdual to obfuscate each state-transition of an FSM. The synthesized FSM exhibits correct state-transitions only for a correct key, which is a designer's secret. The proposed easily testable key-controlled FSM synthesis scheme can thwart reverse engineering attacks, thus offers IP protection. |
Citation Key | karmakar_cellular_2019 |