Boomerang Switch in Multiple Rounds
Application to AES Variants and Deoxys
Haoyang Wang, Thomas Peyrin
School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore
FSE 2019, Paris
March 26, 2019
Boomerang Switch in Multiple Rounds Application to AES Variants and - - PowerPoint PPT Presentation
Boomerang Switch in Multiple Rounds Application to AES Variants and Deoxys Haoyang Wang, Thomas Peyrin School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore FSE 2019, Paris March 26, 2019 Outline
Application to AES Variants and Deoxys
Haoyang Wang, Thomas Peyrin
School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore
FSE 2019, Paris
March 26, 2019
Outline
2 NTU Boomerang Switch in Multiple Rounds 26.3.2019
3 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Background
Boomerang Attack
Boomerang attack
E = E1 ◦ E0
Pr[E−1(E(x)⊕δ)⊕E−1(E(x⊕α)⊕δ) = α] = p2q2
α α β β γ γ δ δ E0 E0 E0 E0 E1 E1 E1 E1 P1 P2 P3 P4 C2 C1 C3 C4
4 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Background
Dependency Between the Two Sub-Ciphers
Positive effect
Negative effect
5 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Background
Sandwich Attack
Sandwich attack
E = E1 ◦ Em ◦ E0
with probability r
m (Em(x) ⊕ γ) ⊕ E−1 m (Em(x ⊕ β) ⊕ γ) = β]
α α β β δ δ γ γ P1 P3 E0 E0 Em Em x3 x1 y1 y3 E1 C1 C3 E1 P2 P4 E0 E0 Em Em x4 x2 y2 y4 E1 C2 C4 E1
6 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Background
View of Boomerang Switch in Sandwich Attack
S S ∆0 ∇0 ∇0 y1(=y3) y2(=y4) x1(=x3) x2(=x4)
Ladder switch
1 ∇0 = 0 2 y3 = y1 and y4 = y2 3 x3 = x1 and x4 = x2 4 r = 1 S S ∆0 ∆1 ∇0 y1(=y4) y2(=y3) x1(=x4) x2(=x3)
Sbox switch
1 ∇0 = ∆1 2 y4 = y1, y3 = y2 3 x4 = x1 and x3 = x2 4 r = pr[∆0
Sbox
− − − → ∆1]
7 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Background
Boomerang Connectivity Table (BCT)
∆0 ∆0 ∇0 ∇0 ∆1 ∆1 S S S S x1 y1 x2 y2 x3 y3 x4 y4
Construction
#{x ∈ {0, 1}n|S−1(S(x) ⊕ ∇0) ⊕ S−1(S(x ⊕ ∆0) ⊕ ∇0)}.
8 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Background
Boomerang Connectivity Table (BCT)
∆0 ∆0 ∇0 ∇0 ∆1 ∆1 S S S S x1 y1 x2 y2 x3 y3 x4 y4
Advantages
the value of ∆1, which could lead to a higher switching probability.
8 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Background
Motivation
Questions
9 NTU Boomerang Switch in Multiple Rounds 26.3.2019
10 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Boomerang Switch
Determining the Number of Rounds in Em
SB,SR MC ARK,SB SB,SR MC ARK,SB
Uppertrail Lowertrail
Figure: Parallel operations of truncated 2-round AES The idea of ladder switch The round function of a cipher can be divided into two independent parts, which can operate in parallel. Extension In Em, if the forward diffusion of the active cells in the upper trail has no interaction with the backward diffusion of the active cells in the lower trail, a right quartet of Em can be generated with probability 1.
11 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Boomerang Switch
Determining the Number of Rounds in Em
R R R SubCells R R R SubCells
β γ
Figure: A 4-round Em of SKINNY with probability 1 Observation
12 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Boomerang Switch
Incompatibility in Multiple Rounds
df f1 f9 f1 f1 08 f9 c6 a9 70 b9 99
SB SR,MC AK SR,MC AK SB
BCT(f9,c6)=2 BCT(df,a9)=2 DDT(f9,c6)=2 DDT(df,f1)=2
β γ
Figure: An incompatible 2-round Em of AES Deficiency of BCT
BCT(f9,c6)=2.
simultaneously.
13 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Boomerang Switch
Observation on S-box in the Boomerang Switch
∆0 ∆0 ∇0 ∇0 ∆1 ∆1 ∇1 ∇1 S S S S x1 y1 x2 y2 x3 y3 x4 y4
Lemma1 For any fixed ∆0 and ∆1, for which the DDT entry is 2l, l being a nonzero integer, the maximum number of nontrivial values of ∇0, for which a right quartet could be generated, is 2 l
2
Lemma2 For any fixed ∆0 and ∇0, for which the BCT entry is 2l and the DDT entry is 2l′, l and l′ being nonzero integers, the maximum number of choices of ∆1, for which a right quartet could be generated, is 1 + (2l − 2l′)/4.
14 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Boomerang Switch
Boomerang Difference Table (BDT)
∆0 ∆0 ∇0 ∇0 ∆1 ∆1 ∇1 ∇1 S S S S x1 y1 x2 y2 x3 y3 x4 y4
Construction
#{x ∈ {0, 1}n|S−1(S(x) ⊕ ∇0) ⊕ S−1(S(x ⊕ ∆0) ⊕ ∇0) = ∆0, S(x) ⊕ S(x ⊕ ∆0) = ∆1}, n is the S-box size.
15 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Boomerang Switch
Boomerang Difference Table (BDT)
∆0 ∆0 ∇0 ∇0 ∆1 ∆1 ∇1 ∇1 S S S S x1 y1 x2 y2 x3 y3 x4 y4
Properties
∆1=0 BDT(∆0, ∆1, ∇0)
15 NTU Boomerang Switch in Multiple Rounds 26.3.2019
16 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Attack on 10-round AES-256
Attack model
Related-key attack
access to encryption/decryption oracles with these keys. Related-subkey attack
represents the round function of key schedule.
academic interest.
17 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Attack on 10-round AES-256
Overview of the Attack
Idea
related-key differential path is used for the upper trial while a single-key differential path is used for the lower trail.
18 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Attack on 10-round AES-256
The 10-round Attack
19 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Attack on 10-round AES-256
The 2-round Em
SB
∆0 ∆1 ∇0 ∆′ ∇′
1
∇′
SR MC SR MC AK SB
8 9
β γ
Analysis
non-zero, and the switching probability is obtained accordingly.
1 is uniquely determined by ∇0.
0 = 0, the switching probability can be evaluated by DDT with entry (∇′ 1, ∇′ 0)
20 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Attack on 10-round AES-256
Result
Scenario # keys Time Data Result Reference Key Diff. 64/256 2172 2114 Full key [KHP07]/[BDK05] Subkey Diff. 2 245(2221) 244 35 subkey bits (full key) [BDK+10] Key Diff. 2 275 275 Full key this paper
21 NTU Boomerang Switch in Multiple Rounds 26.3.2019
22 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Application to Full-round AES-192 and reduced-round Deoxys-BC
Overview of the Previous Attacks
best attack.
boomerang switch.
23 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Application to Full-round AES-192 and reduced-round Deoxys-BC
Improvement of the Attack [BN10]
Idea
searching a new upper trail.
24 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Application to Full-round AES-192 and reduced-round Deoxys-BC
The 2-round Em of the Improved Attack on [BN10]
SB SR MC SR MC SB
∆0 ∆1 ∇0 ∆′ ∇′
1
∇′ round 6 round 7
β γ
Analysis
1 are required.
25 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Application to Full-round AES-192 and reduced-round Deoxys-BC
Results
Attacks Improvement(Data&Time) AES-192 [BN10] 21.3 AES-192 [BN09] 24.8 Deoxys-BC-256 [CHP+17] 21.6
26 NTU Boomerang Switch in Multiple Rounds 26.3.2019
Application to Full-round AES-192 and reduced-round Deoxys-BC
Conclusion
effect.
Deoxys-BC-256.
27 NTU Boomerang Switch in Multiple Rounds 26.3.2019
28 NTU Boomerang Switch in Multiple Rounds 26.3.2019