Finite state machine based approach to prevent format string attacks.

Seema Yadav Khaleel Ahmad Jayant Shekhar

Published in: ACM SIGSOFT Softw. Eng. Notes (2011)

Keyphrases

finite state machines
regular expressions
finite state automata
model checking
metadata
countermeasures
pattern matching
state machine
hidden markov models
digital circuits
data structure
databases
state transition
edit distance
string matching
query language
cellular automaton
object oriented
knowledge base