Modern computer server systems are increasingly managed at a low level by baseboard management controllers (BMCs). BMCs processors with access to the most critical parts of platform, below OS or hypervisor, including control over power delivery every system component. Buggy poorly designed BMC software not only poses security threat machine, it can permanently render hardware inoperative. Despi...