صادق صادقی - دانشجوی دکتری، دانشکده علوم ریاضی و کامپیوتر، دانشگاه خوارزمی
فاطمه پیرمرادیان - دانشجوی کارشناسی ارشد مهندسی برق، دانشگاه تربیت دبیر شهید رجایی
نصور باقری - استادیار دانشکده مهندسی برق ، دانشگاه تربیت دبیر شهید رجایی،

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

برنامه ریزی خطی عدد صحیح آمیخته، تحلیل خطی، رمزنگاری احرازاصالت شده