%0 Conference Paper %1 conf/dac/NahiyanXYJFT16 %A Nahiyan, Adib %A Xiao, Kan %A Yang, Kun %A Jin, Yier %A Forte, Domenic %A Tehranipoor, Mark %B DAC %D 2016 %I ACM %K %P 89:1-89:6 %T AVFSM: a framework for identifying and mitigating vulnerabilities in FSMs. %U http://dblp.uni-trier.de/db/conf/dac/dac2016.html#NahiyanXYJFT16 %@ 978-1-4503-4236-0

@inproceedings{conf/dac/NahiyanXYJFT16, added-at = {2023-12-13T03:48:48.000+0100}, author = {Nahiyan, Adib and Xiao, Kan and Yang, Kun and Jin, Yier and Forte, Domenic and Tehranipoor, Mark}, biburl = {https://www.bibsonomy.org/bibtex/2a0241d48864e66056b0e599052083374/admin}, booktitle = {DAC}, crossref = {conf/dac/2016}, ee = {https://doi.org/10.1145/2897937.2897992}, interhash = {8f22994cdf772f4cf4f3b704ce1f520c}, intrahash = {a0241d48864e66056b0e599052083374}, isbn = {978-1-4503-4236-0}, keywords = {}, pages = {89:1-89:6}, publisher = {ACM}, timestamp = {2023-12-13T03:48:48.000+0100}, title = {AVFSM: a framework for identifying and mitigating vulnerabilities in FSMs.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2016.html#NahiyanXYJFT16}, year = 2016 }