Sign in

SMASh: A State Encoding Methodology Against Attacks on Finite State Machines.

Gowthami KonganapalleSonali ShuklaVirendra Singh
Published in: ATS (2023)
Keyphrases
  • finite state machines
  • state transition
  • finite state automata
  • model checking
  • hidden markov models
  • state space
  • regular expressions
  • cellular automaton
  • metadata
  • database systems
  • relational databases