Researchers aim to improve code patching in embedded systems

A team of academic researchers proposed an approach to define and verify a set of properties that a patch must have to ensure it doesn’t interfere with the device’s original functionality.