%0 Conference Paper %1 conf/aspdac/FernSC17 %A Fern, Nicole %A San, Ismail %A Cheng, Kwang-Ting (Tim) %B ASP-DAC %D 2017 %I IEEE %K dblp %P 598-504 %T Detecting hardware Trojans in unspecified functionality through solving satisfiability problems. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2017.html#FernSC17 %@ 978-1-5090-1558-0

@inproceedings{conf/aspdac/FernSC17, added-at = {2022-12-07T00:00:00.000+0100}, author = {Fern, Nicole and San, Ismail and Cheng, Kwang-Ting (Tim)}, biburl = {https://www.bibsonomy.org/bibtex/26ba143ccb81eaf37ac2f3c1cba756f42/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2017}, ee = {https://doi.org/10.1109/ASPDAC.2017.7858389}, interhash = {a14cbe75d200e82a6fda1480ac746428}, intrahash = {6ba143ccb81eaf37ac2f3c1cba756f42}, isbn = {978-1-5090-1558-0}, keywords = {dblp}, pages = {598-504}, publisher = {IEEE}, timestamp = {2024-04-10T04:17:16.000+0200}, title = {Detecting hardware Trojans in unspecified functionality through solving satisfiability problems.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2017.html#FernSC17}, year = 2017 }