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

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