%0 Journal Article %1 journals/compsec/QinHWMM19 %A Qin, Maoyuan %A Hu, Wei %A Wang, Xinmu %A Mu, Dejun %A Mao, Baolei %D 2019 %J Comput. Secur. %K dblp %P 225-239 %T Theorem proof based gate level information flow tracking for hardware security verification. %U http://dblp.uni-trier.de/db/journals/compsec/compsec85.html#QinHWMM19 %V 85

@article{journals/compsec/QinHWMM19, added-at = {2023-08-28T00:00:00.000+0200}, author = {Qin, Maoyuan and Hu, Wei and Wang, Xinmu and Mu, Dejun and Mao, Baolei}, biburl = {https://www.bibsonomy.org/bibtex/2a0939e1b341bc4f70c4bef911b972c8f/dblp}, ee = {https://www.wikidata.org/entity/Q115059010}, interhash = {3ea95fd9c0f249799cdefcbf2a35ef26}, intrahash = {a0939e1b341bc4f70c4bef911b972c8f}, journal = {Comput. Secur.}, keywords = {dblp}, pages = {225-239}, timestamp = {2024-04-09T03:30:19.000+0200}, title = {Theorem proof based gate level information flow tracking for hardware security verification.}, url = {http://dblp.uni-trier.de/db/journals/compsec/compsec85.html#QinHWMM19}, volume = 85, year = 2019 }