تحلیل خطی خودکار طرح رمزنگاری احراز اصالت شده NORX

نویسندگان

1 دکتری- دانشگاه تربیت دبیر شهید رجایی

2 دانشگاه خوارزمی

3 دانشگاه تربیت دبیر شهید رجایی

چکیده

مسابقات سزار یک رقابت برای طراحی طرح‌های رمزنگاری احراز اصالت شده مبتنی بر داده همراه (AEAD) می‌باشد. طرح NORX یکی از کاندیدای مسابقات سزار می‌باشد که به دور دوم این مسابقات راه یافته است. در این مقاله اولین تحلیل خطی از این طرح برای تمایز بین دنباله کلید تولید شده و یک دنباله تصادفی با استفاده از روش برنامه‌ریزی خطی عدد صحیح آمیخته(MILP) انجام شده است. تحلیل‌های دورکاهشی انجام شده در این مقاله برای یک دور از چهار دور NORX8، NORX16، NORX32 و NORX64 از این طرح صورت پذیرفته است. مشخصه‌های خطی به دست آمده از این چهار نسخه به ترتیب دارای بایاس 2^(-52) ، 2^(-47) ، 2^(-21) و 2^(-76) می‌باشد، که به دلیل بهینه بودن جواب در مورد نسخه اول، کارا بودن این نسخه از طرح در مقابل حمله خطی حتی برای یک دور را نشان می‌دهد.

کلیدواژه‌ها


عنوان مقاله [English]

Automated Linear Cryptanalysis of NORX Authenticated Encryption Scheme

نویسندگان [English]

  • Nasour Bagheri 1
  • Sadegh Sadeghi 2
  • Fatemeh Pirmoradian 3
چکیده [English]

CAESAR competition is a competition for the design of cryptographic authenticated encryption schemes with associated data (AEAD). NORX is one of the CEASAR candidates which has been selected for the second round of this completion also. In this paper, the first linear cryptanalysis of this scheme is presented using mixed integer linear programming (MILP). The analysis conducted in this paper has been done for the reduced round NORX8, NORX16, NORX32 and NORX64. Our best linear characteristics for these variants reduced to one round out of four rounds have biases 2^(-52), 2^(-47), 2^(-21) and 2^(-76) respectively. Due to the optimized answer for NORX8, this version of reduced NORX provides optimal security against linear attack.

کلیدواژه‌ها [English]

  • Linear cryptanalysis
  • Authenticated Encryption
  • mixed integer linear programming
  • NORX