SFSM Secure FSM Generation This repo contains perl and bash scripts required to create FSM as well as modify and create secure Finite State Machines.