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]