Faiq Khalid Lodhi, Syed Rafay Hasan, O. Hasan, Falah R. Awwad. Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection. In Nordic Circuits and Systems Conference, NORCAS 2015: NORCHIP & International Symposium on System-on-Chip (SoC), Oslo, Norway, October 26-28, 2015. pages 1-4, IEEE, 2015. [doi]
@inproceedings{LodhiHHA15,
title = {Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection},
author = {Faiq Khalid Lodhi and Syed Rafay Hasan and O. Hasan and Falah R. Awwad},
year = {2015},
doi = {10.1109/NORCHIP.2015.7364384},
url = {https://doi.org/10.1109/NORCHIP.2015.7364384},
researchr = {https://researchr.org/publication/LodhiHHA15},
cites = {0},
citedby = {0},
pages = {1-4},
booktitle = {Nordic Circuits and Systems Conference, NORCAS 2015: NORCHIP & International Symposium on System-on-Chip (SoC), Oslo, Norway, October 26-28, 2015},
publisher = {IEEE},
isbn = {978-1-4673-6576-5},
}