%0 Conference Paper %1 conf/ivsw/QinHMT18 %A Qin, Maoyuan %A Hu, Wei %A Mu, Dejun %A Tai, Yu %B IVSW %D 2018 %I IEEE %K dblp %P 62-67 %T Property Based Formal Security Verification for Hardware Trojan Detection. %U http://dblp.uni-trier.de/db/conf/ivsw/ivsw2018.html#QinHMT18 %@ 978-1-5386-6544-2

@inproceedings{conf/ivsw/QinHMT18, added-at = {2018-10-24T00:00:00.000+0200}, author = {Qin, Maoyuan and Hu, Wei and Mu, Dejun and Tai, Yu}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b961d7453b6a8e14219ef91f429b5d85/dblp}, booktitle = {IVSW}, crossref = {conf/ivsw/2018}, ee = {https://doi.org/10.1109/IVSW.2018.8494858}, interhash = {21e328af2a640a2da21180f583fa0a51}, intrahash = {b961d7453b6a8e14219ef91f429b5d85}, isbn = {978-1-5386-6544-2}, keywords = {dblp}, pages = {62-67}, publisher = {IEEE}, timestamp = {2019-09-27T14:24:34.000+0200}, title = {Property Based Formal Security Verification for Hardware Trojan Detection.}, url = {http://dblp.uni-trier.de/db/conf/ivsw/ivsw2018.html#QinHMT18}, year = 2018 }