A Cellular Automata Guided Obfuscation Strategy For Finite-State-Machine Synthesis.
Rajit KarmakarSuman Sekhar JanaSantanu ChattopadhyayPublished in: DAC (2019)
Keyphrases
- cellular automata
- finite state machines
- cellular automaton
- cellular automata model
- model checking
- functional decomposition
- cellular automaton model
- finite state automata
- discrete dynamical systems
- reaction diffusion
- digital circuits
- state machine
- potts model
- traffic flow
- predator prey
- chaotic dynamics
- reverse engineering
- state transition
- lattice gas
- hidden markov models
- high level