Abstract:Persistent Fault Analysis (PFA) is a powerful analysis technique proposed in CHES 2018, which utilizes those faults that are injected before execution and persist throughout the encryption. However, when it is applied to the block cipher which has multiple S-boxes, the key can not be recovered in just one attack. The adversary has to conduct the fault attack several times and inject faults into all the distinct S-boxes. In this paper, we propose Key Schedule Guided Persistent Fault Attack (KGPFA), which utilizes the key schedule to guide the fault injection and fault analysis. By analyzing the key schedule, KGPFA exploits the relations between the key leakages caused by the same faulty S-box in various rounds. It can reduce the number of attacks and the number of faults required to recover the key. Our major contributions are twofold. Firstly, in the fault injection step, we provide Key Schedule Guided Persistent Fault Injection (KGPFI) strategies to reduce the number of attacks and the number of faults under the assumption of both ciphertext-only and known-plaintext attacks. Secondly, in the fault analysis step, as our target ciphers are Feistel-based, we propose the Ineffective Algebraic Persistent Fault Analysis (IAPFA) to extend the usage of Algebraic Persistent Fault Analysis (APFA) in the ineffective persistent fault setting. To demonstrate the effectiveness of our technique, we apply KGPFA to four widely used block ciphers with multiple S-boxes, DES, 3DES, LBlock, and Camellia. In our experiment, in the ciphertext-only attack, the key of DES can be recovered with 300 ineffective ciphertexts (coresponding to 827 ciphertexts) and four faulty S-boxes within 12.18min. Under the assumption of known-plaintext, the key of DES is recovered within two faulty S-boxes in 2.34h. For LBlock, the key is recovered with two faulty S-boxes and 100 ineffective ciphertexts (coresponding to 6211 ciphertexts) in 1.16min.

Model Logic Approach for Analyzing the Flaws of Security Protocol Cryptosystem-related Flaws

A Secure Scan Method for Crypto Chips

A Framework for the Analysis and Evaluation of Algebraic Fault Attacks on Lightweight Block Ciphers

An Automated Framework for Analysis and Evaluation of Algebraic Fault Attacks on Lightweight Block Ciphers

Optimal Model Search for Hardware-Trojan-based Bit-Level Fault Attacks on Block Ciphers

LπCET: A Logic Security Analysis for Cryptographic Protocols Based on π‐Calculus Extension Theory

LpiCT: A logic security analysis framework for protocols

Low-cost Design of Stealthy Hardware Trojan for Bit-Level Fault Attacks on Block Ciphers

Persistence Wears down Resistance: Persistent Fault Analysis on Unprotected and Protected Block Cipher Implementations (Extended Abstract)

Fault Analysis on AES: A Property-Based Verification Perspective

Theoretical Round Modification Fault Analysis on AEGIS-128 with Algebraic Techniques

Improved algebraic fault analysis: a case study on piccolo and applications to other lightweight block ciphers

Model Checking and Cryptographic Protocol Analysis

Model Checking Analysis of Needham-Schroeder Public-Key Protocol

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

Algebraic Side-Channel Attacks on KLEIN

Security Theorems via Model Theory

Double Laser-Faults Based PFA on Cryptographic Circuits with Algebraic Analysis

Key Schedule Guided Persistent Fault Attack

Toward Efficient Evaluation of Logic Encryption Schemes: Models and Metrics

Automatic Search of Meet-in-the-Middle Differential Fault Analysis on AES-like Ciphers.