AVFSM: a framework for identifying and mitigating vulnerabilities in FSMs

Article Details
Title:	AVFSM: a framework for identifying and mitigating vulnerabilities in FSMs
Article URLs:	https://doi.org/10.1145/2897937.2897992
Alternative Article URLs:
Authors:	Adib Nahiyan	University of Florida
	Kan Xiao	University of Connecticut
	Kun Yang	University of Florida
	Yier Jin	University of Central Florida
	Domenic Forte	University of Florida
	Mark Tehranipoor	University of Florida
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/dac/NahiyanXYJFT16
Author Comments:

Design Automation Conference, DAC 2016