Key points are not available for this paper at this time.
في هذه الورقة نقترح تقنيات جديدة تتعلق بخاصية القسمة. نصف للمرة الأولى خوارزمية عملية لحساب جداول الانتشار لسوبربوكس 16 بت، مما يزيد من دقة خاصية القسمة عن طريق إزالة العديد من المسارات الكاذبة للقسمة. كما نحسن من تعقيد الإجراء الذي قدمه لامبين وزملاؤه (تصميم، رموز وتشفير، 2020) لتوسيع الشيفرة باستخدام تحويلات خطية ونظهر كيفية تقليل عدد الانتقالات المطلوب البحث عنها. بينما تعتمد إجراءات البحث لتمييزات الكل على المحللات الخطية متعددة الأغراض أو محللات SAT لسهولة برمجة قيود الانتشار، لا يمكن لمثل هذه المحللات العامة التعامل إلا مع سوبربوكس صغيرة بحجم 4/8 بت. وهكذا، طورنا أداة خاصة تتعامل مع سوبربوكس أكبر وجميع التحسينات الموصوفة في الورقة. نتيجة لذلك، وجدنا تمييزات جديدة على SKINNY-64 وHIGHT وMidori-64.
درس ديربيز وزملاؤه (الخميس) هذا السؤال.