Mathematical Model of Strong Physically Unclonable Functions Based on Hybrid Boolean Networks

被引:0
作者
Charlot, Noeloikeau [1 ]
Gauthier, Daniel J. [1 ]
Canaday, Daniel [2 ]
Pomerance, Andrew [2 ]
机构
[1] Ohio State Univ, Dept Phys, 174 W 18th Ave, Columbus, OH 43210 USA
[2] Potomac Res LLC, Alexandria, VA USA
来源
2022 IEEE INTERNATIONAL SYMPOSIUM ON HARDWARE ORIENTED SECURITY AND TRUST (HOST) | 2022年
关键词
Hybrid Boolean Network (HBN); Physically Unclonable Function (PUF); Field Programmable Gate Array (FPGA);
D O I
10.1109/HOST54066.2022.9840173
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We introduce a mathematical framework for simulating Hybrid Boolean Network (HBN) Physically Unclonable Functions (PUFs, HBN-PUFs). We verify that the model is able to reproduce the experimentally observed PUF statistics for uniqueness mu(inter) and reliability mu(intra) obtained from experiments of HBN-PUFs on Cyclone V FPGAs. Our results suggest that the HBN-PUF is a true 'strong' PUF in the sense that its security properties depend exponentially on both the manufacturing variation and the challenge-response space. Our Python simulation methods are open-source and available at littps://github.com/Noelloikeau/networkm.
引用
收藏
页码:129 / 132
页数:4
相关论文
共 11 条
[1]   On the origin of chaos in autonomous Boolean networks [J].
Cavalcante, Hugo L. D. de S. ;
Gauthier, Daniel J. ;
Socolar, Joshua E. S. ;
Zhang, Rui .
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2010, 368 (1911) :495-513
[2]   High-Resolution Waveform Capture Device on a Cyclone-V FPGA [J].
Charlot, Noeloikeau F. ;
Gauthier, Daniel J. ;
Pomerance, Andrew .
IEEE ACCESS, 2021, 9 :146203-146213
[3]   Analysis of continuous-time switching networks [J].
Edwards, R .
PHYSICA D-NONLINEAR PHENOMENA, 2000, 146 (1-4) :165-199
[4]   BOOLEAN DELAY EQUATIONS .2. PERIODIC AND APERIODIC SOLUTIONS [J].
GHIL, M ;
MULLHAUPT, A .
JOURNAL OF STATISTICAL PHYSICS, 1985, 41 (1-2) :125-173
[5]   Transient dynamics and their control in time-delay autonomous Boolean ring networks [J].
Lohmann, Johannes ;
D'Huys, Otti ;
Haynes, Nicholas D. ;
Schoell, Eckehard ;
Gauthier, Daniel J. .
PHYSICAL REVIEW E, 2017, 95 (02)
[6]  
Maes R, 2013, PHYS UNCLONABLE FUNC, P25, DOI [DOI 10.1007/978-3-642-41395-72, 10.1007/978-3-642-41395-7_2, DOI 10.1007/978-3-642-41395-7_2, 10.1007/978-3- 642- 41395-7 2]
[7]   In-the-Field Mitigation of Process Variability for Improved FPGA Performance [J].
Maragos, Konstantinos ;
Lentaris, George ;
Soudris, Dimitrios .
IEEE TRANSACTIONS ON COMPUTERS, 2019, 68 (07) :1049-1063
[8]   Ultrafast physical generation of random numbers using hybrid Boolean networks [J].
Rosin, David P. ;
Rontani, Damien ;
Gauthier, Daniel J. .
PHYSICAL REVIEW E, 2013, 87 (04)
[9]   Concepts in Boolean network modeling: What do they all mean? [J].
Schwab, Julian D. ;
Kuehlwein, Silke D. ;
Ikonomi, Nensi ;
Kuehl, Michael ;
Kestler, Hans A. .
COMPUTATIONAL AND STRUCTURAL BIOTECHNOLOGY JOURNAL, 2020, 18 (18) :571-582
[10]  
Weiss Y., 2018, PROC IEEE 12 INT C W, P3, DOI [DOI 10.1007/s11270-007-9372-6, 10.1007/978-3-030-01264-91]