Runtime hardware Trojan monitors through modeling burst mode communication using formal verification

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]

Abstract

Abstract is missing.