Syed Rafay Hasan, Charles A. Kamhoua, Kevin A. Kwiat, Laurent Njilla. Translating circuit behavior manifestations of hardware Trojans using model checkers into run-time Trojan detection monitors. In 2016 IEEE Asian Hardware-Oriented Security and Trust, AsianHOST 2016, Yilan, Taiwan, December 19-20, 2016. pages 1-6, IEEE, 2016. [doi]
@inproceedings{HasanKKN16,
title = {Translating circuit behavior manifestations of hardware Trojans using model checkers into run-time Trojan detection monitors},
author = {Syed Rafay Hasan and Charles A. Kamhoua and Kevin A. Kwiat and Laurent Njilla},
year = {2016},
doi = {10.1109/AsianHOST.2016.7835571},
url = {http://doi.ieeecomputersociety.org/10.1109/AsianHOST.2016.7835571},
researchr = {https://researchr.org/publication/HasanKKN16},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {2016 IEEE Asian Hardware-Oriented Security and Trust, AsianHOST 2016, Yilan, Taiwan, December 19-20, 2016},
publisher = {IEEE},
isbn = {978-1-5090-5701-6},
}