Uncovering EDK2 Firmware Flaws: Insights from Code Audit Tools. - Mahsa Farahani; Ghazal Shenavar; Ali Hosseinghorban; Alireza Ejlali (CoRR, 2024)