Jonathan Cruz, Farimah Farahmandi, Alif Ahmed, Prabhat Mishra. Hardware Trojan Detection Using ATPG and Model Checking. In 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, VLSID 2018, Pune, India, January 6-10, 2018. pages 91-96, IEEE Computer Society, 2018. [doi]
@inproceedings{CruzFAM18,
title = {Hardware Trojan Detection Using ATPG and Model Checking},
author = {Jonathan Cruz and Farimah Farahmandi and Alif Ahmed and Prabhat Mishra},
year = {2018},
doi = {10.1109/VLSID.2018.43},
url = {http://doi.ieeecomputersociety.org/10.1109/VLSID.2018.43},
researchr = {https://researchr.org/publication/CruzFAM18},
cites = {0},
citedby = {0},
pages = {91-96},
booktitle = {31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, VLSID 2018, Pune, India, January 6-10, 2018},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-3692-3},
}