Maoyuan Qin, Wei Hu, Dejun Mu, Yu Tai. Property Based Formal Security Verification for Hardware Trojan Detection. In 3rd IEEE International Verification and Security Workshop, IVSW 2018, Costa Brava, Spain, July 2-4, 2018. pages 62-67, IEEE, 2018. [doi]
@inproceedings{QinHMT18,
title = {Property Based Formal Security Verification for Hardware Trojan Detection},
author = {Maoyuan Qin and Wei Hu and Dejun Mu and Yu Tai},
year = {2018},
doi = {10.1109/IVSW.2018.8494858},
url = {https://doi.org/10.1109/IVSW.2018.8494858},
researchr = {https://researchr.org/publication/QinHMT18},
cites = {0},
citedby = {0},
pages = {62-67},
booktitle = {3rd IEEE International Verification and Security Workshop, IVSW 2018, Costa Brava, Spain, July 2-4, 2018},
publisher = {IEEE},
isbn = {978-1-5386-6544-2},
}