TY  - EJOU
AU  - Feng, Jingya 
AU  - Zhao, Ying 
AU  - Ye, Tao 
AU  - Feng, Wei 

TI  - Optimizing AES S-Box Implementation: A SAT-Based Approach with Tower Field Representations
T2  - Computers, Materials \& Continua

PY  - 2025
VL  - 83
IS  - 1
SN  - 1546-2226

AB  - The efficient implementation of the Advanced Encryption Standard (AES) is crucial for network data security. This paper presents novel hardware implementations of the AES S-box, a core component, using tower field representations and Boolean Satisfiability (SAT) solvers. Our research makes several significant contributions to the field. Firstly, we have optimized the GF() inversion, achieving a remarkable 31.35% area reduction (15.33 GE) compared to the best known implementations. Secondly, we have enhanced multiplication implementations for transformation matrices using a SAT-method based on local solutions. This approach has yielded notable improvements, such as a 22.22% reduction in area (42.00 GE) for the top transformation matrix in GF(()<sup>2</sup>)-type S-box implementation. Furthermore, we have proposed new implementations of GF((()<sup>2</sup>)<sup>2</sup>)-type and GF(()<sup>2</sup>)-type S-boxes, with the GF((()<sup>2</sup>)<sup>2</sup>)-type demonstrating superior performance. This implementation offers two variants: a small area variant that sets new area records, and a fast variant that establishes new benchmarks in Area-Execution-Time (AET) and energy consumption. Our approach significantly improves upon existing S-box implementations, offering advancements in area, speed, and energy consumption. These optimizations contribute to more efficient and secure AES implementations, potentially enhancing various cryptographic applications in the field of network security.
KW  - AES S-box; SAT optimization; tower field; hardware implementation; area efficiency; energy consumption

DO  - 10.32604/cmc.2025.059882