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

Gowthami Konganapalle Sonali Shukla Virendra 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