利用随机函数的执行证明

摘要

物理随机函数(PUF)是一种容易被评估但难以被特征化的函数。受控物理随机函数(CPUF)是仅经由受安全算法控制的安全程序被访问的PUF，其中安全算法以一种不可分离的方式物理地连接到PUF。CPUF允许验证执行，其中产生能证明特定计算在特定的处理器上执行的证书。本发明提供了一个附加的层来生成第三方可以检验的执行证明。该执行证明还可用于提供安全存储器和安全可中断程序执行。