scholarly journals Search-Space Reduction for S-Boxes Resilient to Power Attacks

2021 ◽  
Vol 11 (11) ◽  
pp. 4815
Author(s):  
Carlos Miguel Legón-Pérez ◽  
Ricardo Sánchez-Muiña ◽  
Dianne Miyares-Moreno ◽  
Yasser Bardaji-López ◽  
Ismel Martínez-Díaz ◽  
...  
Keyword(s):  
Space Dimension ◽  
Search Space ◽  
Decision Criterion ◽  
Class A ◽  
Space Reduction ◽  
Power Attacks ◽  
Controversial Topic ◽  
Hamming Weights ◽  
Power Leakage ◽  
Number Of Classes

The search of bijective n×n S-boxes resilient to power attacks in the space of dimension (2n)! is a controversial topic in the cryptology community nowadays. This paper proposes partitioning the space of (2n)! S-boxes into equivalence classes using the hypothetical power leakage according to the Hamming weights model, which ensures a homogeneous theoretical resistance within the class against power attacks. We developed a fast algorithm to generate these S-boxes by class. It was mathematically demonstrated that the theoretical metric confusion coefficient variance takes constant values within each class. A new search strategy—jumping over the class space—is justified to find S-boxes with high confusion coefficient variance in the space partitioned by Hamming weight classes. In addition, a decision criterion is proposed to move quickly between or within classes. The number of classes and the number of S-boxes within each class are calculated, showing that, as n increases, the class space dimension is an ever-smaller fraction of the space of S-boxes, which significantly reduces the space of search of S-boxes resilient to power attacks, when the search is performed from class to class.

scholarly journals SMT-Based Contention-Free Task Mapping and Scheduling on 2D/3D SMART NoC with Mixed Dimension-Order Routing

2022 ◽  
Vol 19 (1) ◽  
pp. 1-21
Author(s):  
Daeyeal Lee ◽  
Bill Lin ◽  
Chung-Kuan Cheng
Keyword(s):  
System Performance ◽  
Search Space ◽  
Satisfiability Modulo Theories ◽  
Low Latency ◽  
Task Mapping ◽  
Single Cycle ◽  
Space Reduction ◽  
Reduction Techniques ◽  
2D And 3D ◽  
Mixed Dimension

SMART NoCs achieve ultra-low latency by enabling single-cycle multiple-hop transmission via bypass channels. However, contention along bypass channels can seriously degrade the performance of SMART NoCs by breaking the bypass paths. Therefore, contention-free task mapping and scheduling are essential for optimal system performance. In this article, we propose an SMT (Satisfiability Modulo Theories)-based framework to find optimal contention-free task mappings with minimum application schedule lengths on 2D/3D SMART NoCs with mixed dimension-order routing. On top of SMT’s fast reasoning capability for conditional constraints, we develop efficient search-space reduction techniques to achieve practical scalability. Experiments demonstrate that our SMT framework achieves 10× higher scalability than ILP (Integer Linear Programming) with 931.1× (ranges from 2.2× to 1532.1×) and 1237.1× (ranges from 4× to 4373.8×) faster average runtimes for finding optimum solutions on 2D and 3D SMART NoCs and our 2D and 3D extensions of the SMT framework with mixed dimension-order routing also maintain the improved scalability with the extended and diversified routing paths, resulting in reduced application schedule lengths throughout various application benchmarks.

Innovative Genetic Algorithmic Approach to Select Potential Patches Enclosing Real and Complex Zeros of Nonlinear Equation

2017 ◽  
Vol 6 (2) ◽  
pp. 18-37 ◽  
Author(s):  
Vijaya Lakshmi V. Nadimpalli ◽  
Rajeev Wankar ◽  
Raghavendra Rao Chillarige
Keyword(s):  
Genetic Algorithm ◽  
Nonlinear Equation ◽  
Complex Plane ◽  
Search Space ◽  
Regions Of Interest ◽  
Real Numbers ◽  
Algorithmic Approach ◽  
Space Reduction ◽  
Complex Zeros ◽  
The Given

In this article, an innovative Genetic Algorithm is proposed to find potential patches enclosing roots of real valued function f:R→R. As roots of f can be real as well as complex, the function is reframed on to complex plane by writing it as f(z). Thus, the problem now is transformed to finding potential patches (rectangles in C) enclosing z such that f(z)=0, which is resolved into two components as real and imaginary parts. The proposed GA generates two random populations of real numbers for the real and imaginary parts in the given regions of interest and no other initial guesses are needed. This is the prominent advantage of the method in contrast to various other methods. Additionally, the proposed ‘Refinement technique' aids in the exhaustive coverage of potential patches enclosing roots and reinforces the selected potential rectangles to be narrow, resulting in significant search space reduction. The method works efficiently even when the roots are closely packed. A set of benchmark functions are presented and the results show the effectiveness and robustness of the new method.

scholarly journals Controlled Heterogeneous Collection: The Role of Occupation Numbers

2008 ◽  
Vol 45 (03) ◽  
pp. 595-609 ◽  
Author(s):  
A. Gerardi ◽  
P. Tardelli
Keyword(s):  
Class A ◽  
Finite Dimensional ◽  
Occupation Numbers ◽  
Discrete Time Approximation ◽  
Wear And Tear ◽  
Set Up ◽  
Number Of Classes ◽  
Filtering Problem ◽  
The Value Function

A controlled heterogeneous collection of identical items is presented. According to their level of wear and tear, they are divided into a finite number of classes and the partition of the collection is allowed to change over time. A suitable exchangeability assumption is made to preserve the property that the items be identical. The role of the occupation numbers is investigated and a filtering problem is set up, where the observation is the cardinality of a particular class. A control on the dynamics of the items is introduced, and the existence of an optimal control is proved. A discrete-time approximation for the separated problem, which is a finite-dimensional one, is performed. As a consequence, an approximation for the value function is given.

Sign in / Sign up

Export Citation Format

Share Document