BoardSentinel: An Automated Static Analysis Framework for BMC Firmware Vulnerability Detection Apr 30, 2026 Slides for Black Hat Asia 2026 Arsenal.