Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar. Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification. In 31st IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Dubai, United Arab Emirates, October 16-18, 2023. pages 1-6, IEEE, 2023. [doi]

This author has not been identified. Look up 'Hala Ibrahim' in GoogleThis author has not been identified. Look up 'Haytham Azmi' in GoogleThis author has not been identified. Look up 'M. Watheq El-Kharashi' in GoogleThis author has not been identified. Look up 'Mona Safar' in Google

runs on WebDSL