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]
No references recorded for this publication.
No citations of this publication recorded.