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.

Rosita++: Automatic Higher-Order Leakage Elimination from Cryptographic Code

Enhanced Side-Channel Cube Attacks on PRESENT.

Second-Order SCA Security with almost no Fresh Randomness

MicroWalk: A Framework for Finding Side Channels in Binaries

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

Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade

Exploiting Intermediate Value Leakage in Dilithium: A Template-Based Approach

Guarding Machine Learning Hardware Against Physical Side-channel Attacks

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version)

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

Connecting the Dots: Privacy Leakage via Write-Access Patterns to the Main Memory

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

ZeroLeak: Using LLMs for Scalable and Cost Effective Side-Channel Patching

Breaking Ground: A New Area Record for Low-Latency First-Order Masked SHA-3

Breaking Bad: How Compilers Break Constant-Time~Implementations

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

Securing Optimized Code Against Power Side Channels

RandOhm: Mitigating Impedance Side-channel Attacks using Randomized Circuit Configurations

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

Eliminating Timing Side-Channel Leaks using Program Repair

A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components