Securing the EDK II Image Loader. - Marvin Häuser; Vitaly Cheptsov (CoRR, 2020)