%0 Journal Article %1 journals/compsec/ShenMCQBK18 %A Shen, Lixiang %A Mu, Dejun %A Cao, Guo %A Qin, Maoyuan %A Blackstone, Jeremy %A Kastner, Ryan %D 2018 %J Computers & Security %K dblp %P 267-280 %T Symbolic execution based test-patterns generation algorithm for hardware Trojan detection. %U http://dblp.uni-trier.de/db/journals/compsec/compsec78.html#ShenMCQBK18 %V 78

@article{journals/compsec/ShenMCQBK18, added-at = {2018-09-28T00:00:00.000+0200}, author = {Shen, Lixiang and Mu, Dejun and Cao, Guo and Qin, Maoyuan and Blackstone, Jeremy and Kastner, Ryan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d986766a3e266f3f8be1918ae3a830d9/dblp}, ee = {https://doi.org/10.1016/j.cose.2018.07.006}, interhash = {34500fa02ca788c08e068e7c4dd8f76b}, intrahash = {d986766a3e266f3f8be1918ae3a830d9}, journal = {Computers & Security}, keywords = {dblp}, pages = {267-280}, timestamp = {2019-09-27T11:14:20.000+0200}, title = {Symbolic execution based test-patterns generation algorithm for hardware Trojan detection.}, url = {http://dblp.uni-trier.de/db/journals/compsec/compsec78.html#ShenMCQBK18}, volume = 78, year = 2018 }