Discussion on the theoretical results of white-box cryptography

Abstract

Protecting white-box cryptographic implementations with obfuscated round boundaries SCIENCE CHINA Information Sciences 61, 039103 (2018); Efficient large-universe multi-authority ciphertext-policy attribute-based encryption with white-box traceability SCIENCE CHINA Information Sciences 61, 032102 (2018); Development of new correlations for the oil formation volume factor in oil reservoirs using artificial intelligent white box technique

Improvements for Finding Impossible Differentials of Block Cipher Structures

“…= ⊕ but 0 = , a contradiction. (7) return flag; (8) else if is 0 and 0 is ? then (9) if [ values, which omit the relationship between input and output differentials.…”

“…and is not " * " then (7) ← the number of rows of ; (8) for ← 0 to − 1 do (9) if [ , ] is 1 then (10) [ , ] ← 0; (11) [ of the augmented matrix unchanged. If is not in the set {0, ?, * }, we check each row of ; if the value of the th column at the th row , is 1, then we set Xor i to the last element of the th row of and set , to 0 (Algorithm 1).…”

“…It is one of the most powerful attacks for block ciphers and is considered in many block cipher designs [3][4][5][6][7][8][9][10]. The best cryptanalytic results for some block ciphers are obtained by impossible differential cryptanalysis [1,11].…”

“…If there is a contradiction for these two intermediate differences, then an impossible differential (Δin Δout) is verified. Representing a block cipher by the matrix has been a popular method in impossible differential and integral and zero correlation linear cryptanalysis [8,10,[15][16][17][18][19][20].…”