تحلیل خطی نسخه های مورس با تعداد دورکاهش یافته

Abstract

مسابقه سزار یک رقابت برای طراحی طرح‌های رمزنگاری احراز اصالت شده (AE) می‌باشد. طرح‌هایی که در این مسابقه مورد بررسی قرار می‌گیرند، طرح‌های احراز اصالت مبتنی بر داده‌های همراه (AEAD) می‌باشند. اخیرا 30 کاندید از بین 57 کاندید اولیه توانستند به دور دوم راه پیدا کنند. در این مقاله ما طرح مورس (MORUS) که در مسابقه سزار به دور دوم راه یافته است را مورد تحلیل خطی قرار می‌دهیم. در این تحلیل طول داده‌های همراه را برابر با صفر در نظر گرفته‌ایم (|AD|=0)و سپس با استفاده از روش برنامه‌ریزی عدد صحیح آمیخته (MILP)، توانستیم یک مشخصه خطی سه دوری برای دو نسخه از طرح MORUS یعنی MORUS-640 و MORUS-1280 به ترتیب با اریبی 2^(-31) و 2^(-32) به‌دست آوریم. کار انجام شده در این مقاله اولین تحلیل خطی‌دور کاهشی می‌باشد که تاکنون بر طرح مورس انجام شده است.