Faiq Khalid, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad. Runtime hardware Trojan monitors through modeling burst mode communication using formal verification. Integration, 61:62-76, 2018. [doi]
@article{KhalidHHA18,
title = {Runtime hardware Trojan monitors through modeling burst mode communication using formal verification},
author = {Faiq Khalid and Syed Rafay Hasan and Osman Hasan and Falah R. Awwad},
year = {2018},
doi = {10.1016/j.vlsi.2017.11.003},
url = {https://doi.org/10.1016/j.vlsi.2017.11.003},
researchr = {https://researchr.org/publication/KhalidHHA18},
cites = {0},
citedby = {0},
journal = {Integration},
volume = {61},
pages = {62-76},
}