Boolean-network-based approach for construction of filter generators

In this paper, we view filter generators as Boolean networks (BNs), and discuss their power-analysis-based side-channel analysis. An incompletely specified binary sequence always contains some bits called unnecessary bits comprising 1 or 0. Our motivation for considering this type of sequence is to reduce direct dependencies between side-channel information and key sequences. An algorithm is proposed to determine the unnecessary bits to increase the key search time required for adversaries rather than simply turning all unnecessary bits to 0 (or 1). Then, to reduce area dissipation, under the framework of semi-tensor product (STP) of matrices, the problem of constructing filter generators with minimum number of stages is converted into the one of determining the corresponding transition matrices. Compared with the existing results, the lower bound of the minimum number of stages is provided, which can reduce the exhaustive search time required to find it. Finally, one example is used to illustrate the efficacy of the proposed algorithm.

[1]  Jinde Cao,et al.  Stabilization of probabilistic Boolean networks via pinning control strategy , 2020, Inf. Sci..

[2]  Jinde Cao,et al.  Stabilization of Boolean Control Networks Under Aperiodic Sampled-Data Control , 2018, SIAM J. Control. Optim..

[3]  Yang Liu,et al.  Output feedback stabilizer design of Boolean networks based on network structure , 2019, Frontiers of Information Technology & Electronic Engineering.

[4]  Tielong Shen,et al.  A Finite Convergence Criterion for the Discounted Optimal Control of Stochastic Logical Networks , 2018, IEEE Transactions on Automatic Control.

[5]  Zheng-Guang Wu,et al.  Set Stabilization of Probabilistic Boolean Control Networks: A Sampled-Data Control Approach , 2020, IEEE Transactions on Cybernetics.

[6]  Alan Veliz-Cuba.  Reduction of Boolean network models. , 2011, Journal of theoretical biology.

[7]  Jinde Cao,et al.  Robust Event-Triggered Control Invariance of Probabilistic Boolean Control Networks , 2020, IEEE Transactions on Neural Networks and Learning Systems.

[8]  Jianquan Lu,et al.  Output Tracking of Boolean Control Networks Driven by Constant Reference Signal , 2019, IEEE Access.

[9]  Elena Dubrova.  Synthesis of Binary Machines , 2011, IEEE Transactions on Information Theory.

[10]  Jinde Cao,et al.  The transformation between the Galois NLFSRs and the Fibonacci NLFSRs via semi-tensor product of matrices , 2018, Autom..

[11]  Jinde Cao,et al.  On the ensemble controllability of Boolean control networks using STP method , 2019, Appl. Math. Comput..

[12]  Dongdai Lin,et al.  On Minimum Period of Nonlinear Feedback Shift Registers in Grain-Like Structure , 2018, IEEE Transactions on Information Theory.

[13]  Dawei Zhao,et al.  Novel way to research nonlinear feedback shift register , 2014, Science China Information Sciences.

[14]  Chunxiao Jiang,et al.  Statistical Characterization of Decryption Errors in Block-Ciphered Systems , 2015, IEEE Transactions on Communications.

[15]  Jinde Cao,et al.  Pinning Control for the Disturbance Decoupling Problem of Boolean Networks , 2017, IEEE Transactions on Automatic Control.

[16]  Abdulah Abdulah Zadeh,et al.  Simple power analysis applied to nonlinear feedback shift registers , 2014, IET Inf. Secur..

[17]  Jianquan Lu,et al.  Asymptotical Stability of Probabilistic Boolean Networks With State Delays , 2020, IEEE Transactions on Automatic Control.

[18]  Jinde Cao,et al.  Stabilization of logical control networks: an event-triggered control approach , 2019, Science China Information Sciences.

[19]  Yuanyuan Li,et al.  Semi‐tensor product approach to minimal‐agent consensus control of networked evolutionary games , 2018, IET Control Theory & Applications.

[20]  Dongdai Lin,et al.  Driven Stability of Nonlinear Feedback Shift Registers With Inputs , 2016, IEEE Transactions on Communications.

[21]  Elena Dubrova.  Synthesis of parallel binary machines , 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[22]  Yang Liu,et al.  Observability of Boolean networks via STP and graph methods , 2019, IET Control Theory & Applications.

[23]  Dongdai Lin,et al.  Decomposition of nonlinear feedback shift registers based on Boolean networks , 2017, Science China Information Sciences.

[24]  Tianguang Chu,et al.  State Feedback Stabilization for Boolean Control Networks , 2013, IEEE Transactions on Automatic Control.

[25]  D. Cheng,et al.  Analysis and control of Boolean networks: A semi-tensor product approach , 2010, 2009 7th Asian Control Conference.

[26]  Yuzhen Wang,et al.  Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method , 2012, Autom..

[27]  Daizhan Cheng,et al.  Nonsingularity of feedback shift registers , 2015, Autom..

[28]  S. Kauffman.  Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[29]  Elena Dubrova,et al.  On Constructing Secure and Hardware-Efficient Invertible Mappings , 2015, 2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL).

[30]  P. R. Bryant,et al.  Nonlinear Feedback Shift Registers , 1962, IRE Trans. Electron. Comput..

[31]  Elena Dubrova,et al.  Synthesis of power- and area-efficient binary machines for incompletely specified sequences , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

[32]  Yang Liu,et al.  Nonlinear second-order multi-agent systems subject to antagonistic interactions without velocity constraints , 2020, Appl. Math. Comput..

[33]  Jinde Cao,et al.  Function perturbations on singular Boolean networks , 2017, Autom..

[34]  Yang Liu,et al.  Nonsingularity of Grain-like cascade FSRs via semi-tensor product , 2017, Science China Information Sciences.

[35]  Debdeep Mukhopadhyay,et al.  LFSR Based Stream Ciphers Are Vulnerable to Power Attacks , 2007, INDOCRYPT.