We introduce a novel copy-protection method for industrial control software. With our method, a program executes correctly only on its target hardware and behaves differently on other machines. The hardware-software binding is based on Physically Unclonable Functions (PUFs). We use symbolic execution to guarantee the preservation of safety properties if the software is executed on a different machine, or if there is a problem with the PUF response. Moreover, we show that the protection method is also secure against reverse engineering.

翻译：本文提出了一种针对工业控制软件的新型复制保护方法。该方法确保程序仅在目标硬件上正确执行，在其他机器上则表现出不同行为。硬件-软件绑定基于物理不可克隆函数（PUF）。我们采用符号执行技术来保证：当软件在不同机器上执行或PUF响应出现问题时，其安全属性仍能得到保持。此外，我们证明了该保护方法同样能有效抵御逆向工程攻击。