Refutation and Redesign of a Physical Model of TERO-based TRNGs and PUFs
Refutation and Redesign of a Physical Model of TERO-based TRNGs and PUFs
复制标题
基于 TERO 的 TRNG 和 PUF 物理模型的反驳和重新设计
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Jeroen Delvaux
中科院分区：
文献类型：
--
作者：
Jeroen Delvaux
在CHES 2015的一篇文章中，Bernard，Haddad，Fischer和Nicolai对瞬态效应环形振荡器（TERO）的物理行为进行了建模，从而提供了一种方法来证明其作为真随机数发生器（TRNG）的操作。在这项工作中，我们反驳了整个模型所基于的物理假设。此外，我们表明，方便使用易处理的，封闭形式的方程源于一个数学错误。在一个更具建设性的注意，我们是第一个指出，TERO和双稳态环物理不可克隆功能（PUF）是密切相关的，从而不仅奠定了更准确的物理模型的基础，但也揭示了吞吐量，熵和可靠性之间的新的设计权衡。此外，我们证明了大多数TERO实现在文献中容易计数器值损坏，并提出了解决这个问题的方法。现场可编程门阵列（FPGA）上进行的测量证实了我们的说法。
In an article from CHES 2015, which appears in extended form in the Journal of Cryptology in 2019, Bernard, Haddad, Fischer, and Nicolai modeled the physical behavior of a transient effect ring oscillator (TERO), thereby providing a means to certify its operation as a true random number generator (TRNG). In this work, we disprove the physical assumption on which the whole model is based. Moreover, we show that the convenient use of tractable, closed-form equations stems from a mathematical error. On a more constructive note, we are the first to point out that TEROs and Bistable Ring physically unclonable functions (PUFs) are closely related, thereby not only laying the foundations of a more accurate physical model but also revealing a new design trade-off between throughput, entropy, and reliability. Furthermore, we demonstrate that most TERO implementations in the literature are prone to counter value corruptions, and propose a solution to this problem. Measurements performed on a field-programmable gate array (FPGA) substantiate our claims.