Linear Analysis of Lightweight Cipher ACE and SPIX Based on Mixed-Integer Linear Programming
The linear property of lightweight cipher ACE and SPIX was researched.The linear property of ring AND-gate combination was described accurately with mixed-integer linear programming.The nonlinear operation of ACE and SPIX was transformed into ring AND-gate combination.Based on this,the linear models of ACE permutation and SLISCP permutation were constructed with mixed-integer linear programming.The models returned the optimal linear characteris-tics of 2-step to 4-step ACE permutation and 2-step to 5-step SLISCP permutation.It was proved that 7-step and 12-step ACE permutation achieved the 128-bit security and 320-bit security respectively,and 7-step and 13-step SLISCP permuta-tion achieved the 128-bit security and 256-bit security respectively.For the ACE permutation and SLISCP permutation with any number of steps,authenticated encryption algorithm ACE-AE-128 and SPIX can resist the linear distinguish attack of plaintext processing stage.
mixed-integer linear programmingconstraint problem solvinglightweight cipherlinear analysis
万方数据
维普
