[Paper Review]KARONTE: Detecting Insecure Multi-binary Interactions in Embedded Firmware