Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities

Caleiro, Carlos; Casal, Filipe; Mordido, Andreia

doi:10.1016/j.tcs.2019.02.021

Cited by 1 publication

(4 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It also demonstrates F I G U R E 1 0 Illustration of the error masking probability QðeÞ in iterative implementation of SD-SHO for various FSM benchmarks. FSM, finite state machine, SD-SHO, security-dominated state assignment method with a satisfactory level of hardware optimization DAS AND PANCHANATHAN - 13 that except for the case of 's1', 'dk16', and 's1a', SD-SHO requires less area (i.e. literal count) as compared with JEDI [24].…”

Section: Performance Assessment Of Sd-sho For Fsm Optimalitymentioning

confidence: 99%

“…Hence, Equation ( 12) is reduced to Equation (14). In a hypercube defined by Equation (13), ν denotes a specific vertex, whereas a symbolizes the dimension. z 2 represents the analytical value of ν, and its value varies from −1 to 1.…”

Section: Fsm Optimization Through State Assignmentmentioning

confidence: 99%

“…To minimize the cost function (i.e. Equation ( 12)), the embedding of the hypercube is performed using Equation (13) as illustrated in the literature [25,33]. Hence, Equation ( 12) is reduced to Equation (14).…”

Section: Fsm Optimization Through State Assignmentmentioning

confidence: 99%

“…The obtained analysis data is taken as the leakage information of the concerned hardware device [12]. Thus, the success of the side-channel attacks depends on the correctness probability of the retrieved leakage information [13,14]. The electromagnetic radiation and power dissipation are the crucial parameters for describing the processing of data in most hardware devices, enhancing the severity of the side-channel attacks [15][16][17].…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

SD‐SHO: Security‐dominated finite state machine state assignment technique with a satisfactory level of hardware optimization

Das

Panchanathan

2021

IET Computers & Digital Tech

View full text Add to dashboard Cite

Recently, the finite state machine (FSM)-based digital controllers are susceptible to faultinjection and side-channel attacks, which makes FSM security a more prominent factor. FSM optimality is another crucial element when designed. A state encoding approach is applied for FSM security and optimization. This article proposes the security-dominated FSM state assignment technique (SD-SHO), which obtains a satisfactory level of FSM optimization as well. It is a deterministic algorithm and consists of two key techniques, such as state assignment using an improved quadratic sum code, and state assignment using a gradient-based interior point method. A fuzzy bi-level programming logic is introduced in the proposed approach for regulating the constituting algorithms optimally. Experiments are conducted to evaluate the FSM security and optimality using the MCNC FSM benchmarks. Results indicate a substantial reduction in the error masking probability using SD-SHO. It also demonstrates that SD-SHO achieves a satisfactory level of area and power reduction compared with other existing works.This is an open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited.

show abstract

Section: Performance Assessment Of Sd-sho For Fsm Optimalitymentioning

confidence: 99%

Section: Fsm Optimization Through State Assignmentmentioning

confidence: 99%