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]
Abstract is missing.