Visible to the public A Cellular Automata Guided Obfuscation Strategy For Finite-State-Machine Synthesis

TitleA Cellular Automata Guided Obfuscation Strategy For Finite-State-Machine Synthesis
Publication TypeConference Paper
Year of Publication2019
AuthorsKarmakar, R., Jana, S. S., Chattopadhyay, S.
Conference Name2019 56th ACM/IEEE Design Automation Conference (DAC)
KeywordsAdditives, 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
AbstractA 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 Keykarmakar_cellular_2019