Abstract:Code-based masking is a highly generalized type of masking schemes, which can be instantiated into specific cases by assigning different encoders. It captivates by its side-channel resistance against higher-order attacks and the potential to withstand fault injection attacks. However, similar to other algebraically-involved masking schemes, code-based masking is also burdened with expensive computational overhead. To mitigate such cost and make it efficient, we contribute to several improvements to the original scheme proposed by Wang et al. in TCHES 2020. Specifically, we devise a computationally friendly encoder and accordingly accelerate masked gadgets to leverage efficient implementations. In addition, we highlight that the amortization technique introduced by Wang et al. does not always lead to efficient implementations as expected, but actually decreases the efficiency in some cases. From the perspective of practical security, we carry out an extensive evaluation of the concrete security of code-based masking in the real world. On one hand, we select three representative variations of code-based masking as targets for an extensive evaluation. On the other hand, we aim at security assessment of both encoding and computations to investigate whether the state-of-the-art computational framework for code-based masking reaches the security of the corresponding encoding. By leveraging both leakage assessment tool and side-channel attacks, we verify the existence of “security order amplification” in practice and validate the reliability of the leakage quantification method proposed by Cheng et al. in TCHES 2021. In addition, we also study the security decrease caused by the “cost amortization” technique and redundancy of code-based masking. We identify a security bottleneck in the gadgets computations which limits the whole masked implementation. To the best of our knowledge, this is the first time that allows us to narrow down the gap between the theoretical security order under the probing model (sometimes with simulation experiments) and the concrete side-channel security level of protected implementations by code-based masking in practice.

Non-profiled Mask Recovery: The Impact of Independent Component Analysis

On Efficient and Secure Code-based Masking: A Pragmatic Evaluation.

Quasi-linear masking against SCA and FIA, with cost amortization

A High-Performance Masking Design Approach for Saber against High-order Side-channel Attack

A New Information Extractor for Profiled DPA and Implementation of High Order Masking Circuit

Practical aspects on non-profiled deep-learning side-channel attacks against AES software implementation with two types of masking countermeasures including RSM

Exploiting the Incomplete Diffusion Feature: A Specialized Analytical Side-Channel Attack Against the Aes and Its Application to Microcontroller Implementations

Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks

Improved Low-Entropy Masking Scheme For Led With Mitigation Against Correlation-Enhanced Collision Attacks

Snowball: Another View on Side-Channel Key Recovery Tools.

Compositional Verification of Efficient Masking Countermeasures Against Side-Channel Attacks

Polynomial direct sum masking to protect against both SCA and FIA

Circuit Masking: From Theory to Standardization, A Comprehensive Survey for Hardware Security Researchers and Practitioners

SCVerify: Verification of Software Implementation Against Power Side-Channel Attacks

Adaptive Side-Channel Analysis Model and Its Applications to White-Box Block Cipher Implementations.

A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs

Efficient collision attacks on smart card implementations of masked AES

A side-channel attack on a masked and shuffled software implementation of Saber

Tiny Security Hole: First-Order Vulnerability of Masked SEED and Its Countermeasure

Improved DPA Attack on Rotating S-Boxes Masking Scheme

On the Leakage between Arithmetic Components of DES Algorithm