AVFSM: a framework for identifying and mitigating vulnerabilities in FSMs.

Adib Nahiyan, Kan Xiao, Kun Yang, Yier Jin, Domenic Forte, Mark Tehranipoor

Browse the full DAC paper archive.