binary analysis

BootKeeper: Validating Software Integrity Properties on Boot Firmware Images