Student Help for Firmware Verification team