Runtime hardware Trojan monitors through modeling burst mode communication using formal verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Faiq Khalid' in GoogleThis author has not been identified. Look up 'Syed Rafay Hasan' in GoogleThis author has not been identified. It may be one of the following persons:

Osman Hasan

Look up 'Osman Hasan' in GoogleThis author has not been identified. Look up 'Falah R. Awwad' in Google

runs on WebDSL